✦ LIBER ✦

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

✍ Scribed by Gheyi, Rohit; Naumann, David

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

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 || 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] Theo

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 5563 || Foundations for Bidirectional Programming

✍ Paige, Richard F. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 65 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 6194 || A Formal Semantics for the WS-BPEL Recovery Framework

✍ Laneve, Cosimo; Su, Jianwen 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 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

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Applications and Technology Volume 4346 || Heuristics for ioco-Based Test-Based Modelling

✍ Brim, Luboš; Haverkort, Boudewijn; Leucker, Martin; van de Pol, Jaco 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 239 KB

This Book Constitutes The Thoroughly Refereed Joint Post-proceedings Of The Two International Workshops On Formal Methods For Industrial Critical Systems, Fmics 2006, And On Parallel And Distributed Methods In Verification, Pdmc 2006, Held In Bonn, Germany In August 2006 In The Course Of The 17th In

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2303 || A Calculus of Circular Proofs and Its Categorical Semantics

✍ Nielsen, Mogens; Engberg, Uffe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 544 KB

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), th