✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 7498 || Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

✍ Scribed by Gheyi, Rohit; Naumann, David

Book ID: 120335630
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 454 KB
Category: Article
ISBN: 364233296X
DOI: 10.1007/978-3-642-33296-8_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 7498 || Composition of Model Transformations: A Categorical Framework

✍ Gheyi, Rohit; Naumann, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 320 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 7498 || Palytoxin Inhibits the Sodium-Potassium Pump – An Investigation of an Electrophysiological Model Using Probabilistic Model Checking

✍ Gheyi, Rohit; Naumann, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 523 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6959 || Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

✍ Salaün, Gwen; Schätz, Bernhard 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 328 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

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

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction

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

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 6527 || A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs

✍ Davies, Jim; Silva, Leila; Simao, Adenilso 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 13th Brazilian Symposium On Formal Methods, Sbmf 2010, Held In Natal, Brazil, In November 2010. The 18 Revised Full Papers Were Carefully Reviewed And Selected From 55 Submissions. The Papers Presented Cover A Broad Ran