10 results on '"Simone, Robert"'
Search Results
2. Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
3. Another Glance at Relay Stations in Latency-Insensitive Design
4. E STEREL: a formal method applied to avionic software development
5. Correctness issues on MARTE/CCSL constraints.
6. Latency-Insensitive Design: Retry Relay-Station and Fusion Shell.
7. Preface
8. Editorial
9. On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
10. Higher-level synchronising devices in Meije-SCCS
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.