ICMM ((In-)consistency Management in Modeling) Challenge 2026 - Construction of a Brake

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Thomas Weber, Arne Lange, Heiko Klare, Johan Cederbladh, Thomas Alexander Völk, Katharina Bause, Benedikt Jutz, Nathan Hagel, Minakshi Kaushik, Colin Atkinson
DOI: 10.5281/zenodo.18599404
Cited by: 0

Abstract

Description of the (In-)consistency Management in Modeling (ICMM) 2026 - Construction of a Brake Challenge. The challenge is discussed in the (In-)Consistency Management in Modeling Workshop.

Fields of Study & Subjects

Model-Driven Software Engineering Techniques Formal Methods in Verification Modeling and Simulation Systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
10 February 2026
Language
EN