Siirry suoraan sisältöön
The Testability of Distributed Real-Time Systems
Tallenna

The Testability of Distributed Real-Time Systems

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.
Kirjailija
Werner Schütz
Painos
Softcover reprint of the original 1st ed. 1993
ISBN
9781475770001
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
7.3.2013
Sivumäärä
144