Temporal logic for real time systems.

Saved in:
Ostroff, J. S.
Taunton : Research Studies Pr., 1989.
XIII, 209 S.
englisch
0863800866
9780471924029
9780863800863
0471924024
Advanced software development series ; vol 0001.
discrete event systems
extended state machines
temporal logic formalism
design and verification of real time discrete event system
reachibility graphs
real time data processing

ZB
Open Stacks Call Number: S 007202-0001'01' Barcode: 1092101563 Available