Models for formal methods and tools: the case of railway systems
Sign Up to like & getrecommendations! Published in 2025 at "Software and Systems Modeling"
DOI: 10.1007/s10270-025-01276-3
Abstract: Formal methods and tools are successfully applied to the development of safety-critical systems for decades now, in particular in the transport domain, without a single technique or tool emerging as the dominant solution for system… read more here.
Keywords: methods tools; formal methods; models formal; case ... See more keywords