Search

Your search keyword '"Basagiannis, Stylianos"' showing total 12 results

Search Constraints

Start Over You searched for: Author "Basagiannis, Stylianos" Remove constraint Author: "Basagiannis, Stylianos" Publisher springer international publishing Remove constraint Publisher: springer international publishing
12 results on '"Basagiannis, Stylianos"'

Search Results

1. Future Directions and Challenges

4. Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference

5. Formal Verification of Network Interlocking Control by Distributed Signal Boxes

6. Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems

7. Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems

8. Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach

10. Towards Verification of Multicore Motor-Drive Controllers in Aerospace

Catalog

Books, media, physical & digital resources