Inal, Recep

Crossref

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 for real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties. In this article the notation is presented through a top-level specification of requirements for a simple air traffic monitoring system, and reasoning is illustrated by a refinement towards a desig

Online Research Database In Technology

http://orbit.dtu.dk/ws/files/4522376/Recep.pdf

Modular specification of real-time systems

Abstract

Similar works

Full text

Available Versions

Crossref

Online Research Database In Technology