12 results on '"Basagiannis, Stylianos"'
Search Results
2. The Potential of Digital Twins: Four Industry Perspectives
3. Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control
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
9. Formal Verification of Network Interlocking Control by Distributed Signal Boxes
10. Towards Verification of Multicore Motor-Drive Controllers in Aerospace
11. Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
12. Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.