A Temporal Logic for the Specification and Verification of Real-time Systems

A Temporal Logic for the Specification and Verification of Real-time Systems
Author :
Publisher :
Total Pages : 177
Release :
ISBN-10 : OCLC:257787399
ISBN-13 :
Rating : 4/5 (99 Downloads)
DOWNLOAD EBOOK
Book Synopsis A Temporal Logic for the Specification and Verification of Real-time Systems by : Yogesh Naik

Download or read book A Temporal Logic for the Specification and Verification of Real-time Systems written by Yogesh Naik and published by . This book was released on 1993 with total page 177 pages. Available in PDF, EPUB and Kindle. Book excerpt:


A Temporal Logic for the Specification and Verification of Real-time Systems Related Books

A Temporal Logic for the Specification and Verification of Real-time Systems
Language: en
Pages: 177

A Temporal Logic for the Specification and Verification of Real-time Systems

Authors: Yogesh Naik
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Specification and Compositional Verification of Real-Time Systems
Language: en
Pages: 242

Specification and Compositional Verification of Real-Time Systems

Authors: Jozef Hooman
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Specification and Compositional Verification of Real-Time Systems
Language: en
Pages: 254

Specification and Compositional Verification of Real-Time Systems

Authors: Jozef Hooman
Categories: Computers
Type: BOOK - Published: 1991-11-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Real Time Programming
Language: en
Pages: 262

Real Time Programming

Authors: Rudrapatna Shyamasundar
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: World Scientific

DOWNLOAD EBOOK

Pt. I. Real time systems - background. 1. Real time system characteristics. 1.1. Real-time and reactive programs. 2. Formal program development methodologies. 2
The Temporal Specification and Verification of Real-time Systems
Language: en
Pages: 542

The Temporal Specification and Verification of Real-time Systems

Authors: Thomas A. Henzinger
Categories: Real-time data processing
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

Specification [--] We present two conservative extensions of temporal logic that allow for the specification of timing constraints: while timed temporal logic p
Amvik eBook Solutions - Theme by Netnus