Login / Signup
The design of real-time systems: from specification to implementation and verification.
Hermann Kopetz
Ralph Zainlinger
Gerhard Fohler
Heinz Kantz
Peter P. Puschner
Werner Schütz
Published in:
Softw. Eng. J. (1991)
Keyphrases
</>
real time systems
real time embedded
architectural model
formal verification
embedded systems
real time
formal methods
model checking
design patterns
specification language
mission critical
high level
open source
real time database systems
reactive systems
functional verification