Special issue on AVoCS'09 : [... ninth International Workshop on Automated Verification of Critical Systems AVoCS'09 ... Swansea ... eight papers]

Veröffentlicht 2012

Proof principles of CSP : CSP-prover in practice

von Isobe, Yoshinao
Veröffentlicht in Dynamics in Logistics (2008)

Special issue on AVoCS'09 : [... ninth International Workshop on Automated Verification of Critical Systems AVoCS'09 ... Swansea ... eight papers]

Veröffentlicht 2012

Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, revised Selected Papers

Veröffentlicht 2021

An Institutional Approach to Communicating UML State Machines

von Rosenberger, Tobias
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

Software Model Checking of Interlocking Programs

von James, Phillip
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Adding CSPm Functions and Data Types to CSP++

von Garner, Daniel
Veröffentlicht in CPA (37. : 2015 : Canterbury) Communicating process architectures 2015 & 2016 (2016)

Formal methods - fun for everybody : first interntaional workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers

Veröffentlicht 2021

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPA SS

von Rosenberger, Tobias
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain

von Gruner, Stefan
Veröffentlicht 2020

Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers

Veröffentlicht 2017

A Journey Through Software Model Checking of Interlocking Programs

von Chadwick, Simon
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study

von Hinns, James
Veröffentlicht in Pacific Rim International Conference on Artificial Intelligence (18. : 2021 : Hanoi) PRICAI 2021: trends in artificial intelligence ; Part 1 (2021)

Applicable formal methods for safe industrial products : essays dedicated to Jan Peleska on the occasion of his 65th birthday

Veröffentlicht 2023

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

von Cerone, Antonio
Veröffentlicht in FMFun (1. : 2019 : Bergen) Formal methods - fun for everybody (2021)