Temporal Logic for Real-Time Systems [co
β J. Ostroff
π Library
π
1989
π Wiley
π English
β¦ LIBER β¦
π
Temporal logic for real-time systems
β Scribed by Ostroff J.S.
- Publisher
- Wiley
- Year
- 1989
- Tongue
- English
- Leaves
- 224
- Series
- Advanced Software Development Series
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter includes exercises
π SIMILAR VOLUMES
Specifying Message Passing and Time-Crit
β Ron Koymans (eds.)
π Library
π
1992
π Springer-Verlag Berlin Heidelberg
π English
<p>This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to s
Temporal Logic and State Systems
β Fred Kroger, Stephan Merz
π Library
π
2008
π Springer
π English
Temporal logic has developed over the lastΒ 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications
Temporal Logic and State Systems
β Fred KrΓΆger; Stephan Merz
π Library
π
2008
π Springer Science & Business Media
π English
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications
Temporal logic in information systems
β Chomicki J., Toman D.
π Library
π
1997
π BRICS
π English
Memory Controllers for Real-Time Embedde
π
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
β Benny Akesson, Kees Goossens (auth.)
π Library
π
2012
π Springer-Verlag New York
π English
<p><p>Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composabil