Search
Lexile Level
AR Level
AR Level
Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape 9783642032394 by
Cofer, Darren -
Springer,
-2009
Dewey: 005.1
N/A
Software Engineering for Resilient Systems: 7th International Workshop, Serene 2015, Paris, France, September 7-8, 2015. Proceedings (2015) 9783319231280 by
Fantechi, Alessandro -
Springer,
-2015
Dewey: 005.1
N/A
Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist 9780792384298 by
Ciancarini, Paolo -
Springer,
-1999
Dewey: 004.1
N/A
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, Rssrail 2 9783319684987 by
Fantechi, Alessandro -
Springer,
-2017
Dewey: 005.1
N/A
Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist 9781475752663 by
Ciancarini, Paolo -
Springer,
-2013
Dewey: 004.1
N/A
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019) 9783030309848 by
Ter Beek, Maurice H -
Springer,
-2019
N/A