14 results on '"Lanotte, Ruggero"'
Search Results
2. Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
3. Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
4. A Modest Security Analysis of Cyber-Physical Systems: A Case Study
5. A Calculus of Cyber-Physical Systems
6. Weak Simulation Quasimetric in a Gossip Scenario
7. Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
8. Probabilistic Congruence for Semistochastic Generative Processes
9. Taylor Approximation for Hybrid Systems
10. Automatic Covert Channel Analysis of a Multilevel Secure Component
11. Concurrency in Timed Automata
12. Complexity and Succinctness Issues for Linear-Time Hybrid Logics
13. Hiding Information in Multi Level Security Systems
14. Distributed Time-Asynchronous Automata
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.