✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods for the Design of Real-Time Systems Volume 3185 || The IF Toolset

✍ Scribed by Bernardo, Marco; Corradini, Flavio

Book ID: 121684450
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 375 KB
Category: Article
ISBN: 3540300805
DOI: 10.1007/978-3-540-30080-9_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for the Design of Real-Time Systems Volume 3185 || Real Time and Stochastic Time

✍ Bernardo, Marco; Corradini, Flavio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 727 KB

A Large Class Of Computing Systems Can Be Speci?ed And Veri?ed By Abstracting Away From The Temporal Aspects Of Their Behavior. Inreal-timesystems,instead, Time Issues Become Essential. Their Correctness Depends Not Only On Which - Tions They Can Perform, But Also On The Action Execution Time. Due T

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Hybrid Real-Time Systems Volume 4700 || From “Formal Methods” to System Modeling

✍ Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 297 KB

Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). Papers Presented At A Symposium Held In Macao, China, Sept. 24-25, 2007 During The Course Of The International Colloquium On Theoretical Aspects Of Computing. Includes Bibliographical References And Index. Also Issued Online

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 7684 || Formal Patterns for Multi-rate Distributed Real-Time Systems

✍ Păsăreanu, Corina S.; Salaün, Gwen 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 346 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1135 || Formal analysis of a real-time kernel specification

✍ Jonsson, Bengt; Parrow, Joachim 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 983 KB

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 6617 || Symmetry for the Analysis of Dynamic Systems

✍ Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 289 KB

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB