✦ LIBER ✦

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

✍ Scribed by Jonsson, Bengt; Parrow, Joachim

Book ID: 120616565
Publisher: Springer Berlin Heidelberg
Year: 1996
Weight: 983 KB
Category: Article
ISBN: 3540706534
DOI: 10.1007/3-540-61648-9_55

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 Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 || Real-Time Testing with Timed Automata Testers and Coverage Criteria

✍ Lakhnech, Yassine; Yovine, Sergio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 274 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 217 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,

[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 Modeling and Analysis of Timed Systems Volume 6246 || Synchrony and Time in Fault-Tolerant Distributed Algorithms

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 62 KB