Design of the real time systems using temporal logic specifications: a case study

An implementation method for real time systems is proposed in this article. The implementation starts with the design of the functional specifications of the systems behaviour. The functional specifications are introduced as a set of rules describing the partial time ordering of the actions performe...

Full description

Bibliographic Details
Main Authors: A. Ursu, V. Dubenetsky, G. Gruita
Format: Article
Language:English
Published: Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 1996-07-01
Series:Computer Science Journal of Moldova
Online Access:http://www.math.md/nrofdownloads.php?file=/files/csjm/v4-n1/v4-n1-(pp88-114).pdf