Modular specification of real-time systems


Duration Calculus, a real-time interval logic, has been embedded in the Z specification language to provide a notation f o r real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties [4 , 21. In this article the notation is presented through a top-level specification of… (More)
DOI: 10.1109/EMWRTS.1994.336871

1 Figure or Table


  • Presentations referencing similar topics