✦ LIBER ✦

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

✍ Scribed by Hatcliff, John; Zucca, Elena

Book ID: 118049362
Publisher: Springer Berlin Heidelberg
Year: 2010
Tongue: German
Weight: 217 KB
Category: Article
ISBN: 3642134645
DOI: 10.1007/978-3-642-13464-7_5

No coin nor oath required. For personal study only.

✦ Synopsis

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, In June 2010. The 13 Revised Full Papers Presented Together With 6 Short Papers And The Abstract Of One Invited Talk Were Carefully Reviewed And Selected From 38 Submissions. The Papers Are Organized In Topical Sections On Formal Uml Modeling; Components And Architecture; Timed Process Algebra; Timed And Hybrid Automata; Program Logics And Analysis; And Reasoning About Distributed Systems.

📜 SIMILAR VOLUMES

[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

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering IX Volume 5386 || The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems

✍ Luck, Michael; Gomez-Sanz, Jorge J. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 328 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB

[Lecture Notes in Computer Science] Data

[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 7446 || Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification

✍ Liddle, Stephen W.; Schewe, Klaus-Dieter; Tjoa, A Min; Zhou, Xiaofang 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 73 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1055 || Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 738 KB