The Temporal Logic of Reactive and Concurrent Systems : Specification
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying...
|Other Involved Persons:|
New York, NY s.l.
Springer New York
|Physical Description:||Online-Ressource (XIV, 427 p) online resource|
|Other Editions:||Show all 2 Editions|
|QR Code:||Show QR Code|