Related Books

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
Modeling and Verification of Real-time Systems
Language: en
Pages: 283

Modeling and Verification of Real-time Systems

Authors: Nicolas Navet
Categories: Science
Type: BOOK - Published: 2013-03-07 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to
Formal Methods for Real-Time and Probabilistic Systems
Language: en
Pages: 362

Formal Methods for Real-Time and Probabilistic Systems

Authors: Jost-Pieter Katoen
Categories: Computers
Type: BOOK - Published: 1999-05-12 - 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
Formal Techniques in Real-time and Fault-tolerant Systems
Language: en
Pages: 332

Formal Techniques in Real-time and Fault-tolerant Systems

Authors:
Categories: Fault-tolerant computing
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

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,