A Temporal Logic For The Specification And Verification Of Real Time Systems
Download and Read A Temporal Logic For The Specification And Verification Of Real Time Systems full books in PDF, ePUB, and Kindle. Read online free A Temporal Logic For The Specification And Verification Of Real Time Systems ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
A Temporal Logic for the Specification and Verification of Real-time Systems
Author | : Yogesh Naik |
Publisher | : |
Total Pages | : 177 |
Release | : 1993 |
Genre | : Computer software |
ISBN | : |
Download A Temporal Logic for the Specification and Verification of Real-time Systems Book in PDF, Epub and Kindle
A Temporal Logic for the Specification and Verification of Real-time Systems Related Books
Language: en
Pages: 177
Pages: 177
Type: BOOK - Published: 1993 - Publisher:
Language: en
Pages: 254
Pages: 254
Type: BOOK - Published: 1991-11-27 - Publisher: Springer Science & Business Media
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Language: en
Pages: 242
Pages: 242
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Language: en
Pages: 262
Pages: 262
Type: BOOK - Published: 2010 - Publisher: World Scientific
Pt. I. Real time systems - background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2
Language: en
Pages: 542
Pages: 542
Type: BOOK - Published: 1991 - Publisher:
Specification [--] We present two conservative extensions of temporal logic that allow for the specification of timing constraints: while timed temporal logic p