Specification of real-time and hybrid systems in rewriting logic

2002/08/01 by Peter Csaba Ölveczky, José Meseguer · 1 citation
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Real-Time Systems Scheduling

paper · doi:10.1016/s0304-3975(01)00363-2

openalex publication_date 2002/08/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23

Citations

• Conditional rewriting logic as a unified model of concurrency
• A theory of timed automata

Cited by

• A Rewriting Logic Approach to Stochastic and Spatial Constraint System\n Specification and Verification