Search
Lexile Level
AR Level
AR Level
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday 9783032124838 by
Ter Beek, Maurice H -
Springer,
-2026
N/A
Integrated Formal Methods: 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (2022) 9783031077265 by
Ter Beek, Maurice H -
Springer,
-2022
N/A
Coordination Models and Languages: 24th Ifip Wg 6.1 International Conference, Coordination 2022, Held as Part of the 17th International Federated Conf 9783031081453 by
Ter Beek, Maurice H -
Springer,
-2022
N/A
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings (2020) 9783030582975 by
Ter Beek, Maurice H -
Springer,
-2020
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
Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (2019) 9783030309411 by
Ter Beek, Maurice H -
Springer,
-2019
Dewey: 005.1
N/A
Architecting Dependable Systems VI (2009) 9783642102479 by
de Lemos, Rogério -
Springer,
-2009
Dewey: 005.1
N/A
Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (2013) 9783642382291 by
Ter Beek, Maurice H -
Springer,
-2013
Dewey: 005.1
N/A
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 9783319459424 by
Ter Beek, Maurice H -
Springer,
-2016
Dewey: 005.1015113
N/A
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings 9783032120854 by
Ter Beek, Maurice H -
Springer,
-2025
N/A
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, Rssrail 2025 9783032107619 by
Ter Beek, Maurice H -
Springer,
-2025
N/A