Embedding time granularity in a logical specification language for synchronous real-time systems
From MaRDI portal
Publication:685609
DOI10.1016/0167-6423(93)90025-KzbMath0781.68083MaRDI QIDQ685609
E. Corsetti, Angelo Montanari, E. Ciapessoni, Pierluigi San Pietro
Publication date: 17 October 1993
Published in: Science of Computer Programming (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Completeness results for two-sorted metric temporal logics ⋮ Two-sorted metric temporal logics ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ A timeband framework for modelling real-time systems ⋮ Decidability results for metric and layered temporal logics
Uses Software