-
Abstract state machines, alloy, B, TLA, VDM, and Z – 4th international conference ; proceedings
Ait Ameur, Yamine ; Schewe, Klaus-Dieter 2014 Springer
-
Design of Formal Methods Approach to Resolve Disputes
Nabil Mohamed, Samer 2014 LAP LAMBERT Academic Publishing
-
Formal techniques for distributed objects, components, and systems – 34th IFIP WG 6.1 international conference ; proceedings
Ábrahám, Erika ; Palamidessi, Catuscia 2014 Springer
-
Formal methods in software and systems modeling – essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Kreowski, Hans-Jörg ; Ehrig, Hartmut 2005 Springer
-
Transactions on Aspect-Oriented Software Development XI
2014 Springer Berlin Heidelberg
-
Foundations of Software Science and Computation Structures – 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Muscholl, Anca 2014 Springer Berlin Heidelberg
-
Teaching formal methods – CoLog Net/FME symposium ; proceedings
Dean, Neville 2004 Springer
-
Formal methods for the design of real time systems – revised lectures
Bernardo, Marco 2004 Springer
-
Formal specification level – concepts, methods, and algorithms
Soeken, Mathias
-
Building bridges: HCI, visualization, and non-formal modeling – revised selected papers
Ebert, Achim ; Domik, Gitta ; Gershon, Nahum D. ; Scheler, Inga ; Veer, G. C. van der 2014 Springer
-
Formal methods for real-time requirements engineering
Rock, Georg
-
Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer
-
Programming languages and systems – proceedings
Shao, Zhong 2014 Springer
-
Foundations of software science and computation structures – 17th international conference ; proceedings
Muscholl, Anca 2014 Springer
-
Fundamental approaches to software engineering – 17th international conference ; proceedings
Gnesi, Stefania ; Rensink, Arend 2014 Springer
-
Structured Object-Oriented Formal Language and Method – Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
2014 Springer International Publishing
-
Trustworthy spacecraft design using formal methods
Nguyen, Viet Yen 2013 RWTH, Dep. of Computer Science
-
User-level workflow design – a bioinformatics perspective
Lamprecht, Anna-Lena 2013 Springer
-
Language, culture, computation
2014 Springer
-
Language, culture, computation
2014 Springer