Related Books

Formal Methods and Hybrid Real-Time Systems
Language: en
Pages: 551

Formal Methods and Hybrid Real-Time Systems

Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed pa
Formal Methods for the Design of Real-Time Systems
Language: en
Pages: 301

Formal Methods for the Design of Real-Time Systems

Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2004-12-07 - Publisher: Springer

DOWNLOAD EBOOK

A large class of computing systems can be specified and verified by abstracting away from the temporal aspects of their behavior. In real-time systems,instead,
Verification of Digital and Hybrid Systems
Language: en
Pages: 428

Verification of Digital and Hybrid Systems

Authors: M. Kemal Inan
Categories:
Type: BOOK - Published: 2000-03-16 - Publisher:

DOWNLOAD EBOOK

Real-Time Systems
Language: en
Pages: 320

Real-Time Systems

Authors: Ernst-Rüdiger Olderog
Categories: Computers
Type: BOOK - Published: 2008-09-11 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a cr
Formal Methods for Real-Time and Probabilistic Systems
Language: en
Pages: 364

Formal Methods for Real-Time and Probabilistic Systems

Authors: Jost-Pieter Katoen
Categories: Computers
Type: BOOK - Published: 2003-05-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he