Moded and continuous abstract state machines

DOI10.1007/978-3-030-76020-5_3OpenAlexW3157881261MaRDI QIDQ2115900

Huibiao Zhu, Richard Banach

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• Rodin
• Z

Cites Work

• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• The ASM refinement method
• A theory of timed automata
• Hybrid I/O automata.
• Concurrent Programming: Algorithms, Principles, and Foundations
• Statistical Model Checking for Cyber-Physical Systems
• Verification and Control of Hybrid Systems
• The B-Book
• Abstract State Machines
• Logical Foundations of Cyber-Physical Systems
• Logical Analysis of Hybrid Systems
• Languages and Tools for Hybrid Systems Design
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item