MONTIBELLE - TOOLBOX FOR A MODEL-BASED DEVELOPMENT AND VERIFICATION OF DISTRIBUTED CRITICAL SYSTEMS FOR COMPLIANCE WITH FUNCTIONAL SAFETY

von Kausch, Hendrik
Veröffentlicht in AIAA SciTech Forum and Exposition (2020 : Orlando, Fla.) Modeling and simulation technologies ; Volume 1 of 2 (2020)

Towards an Isabelle theory for distributed, interactive systems : the untimed case

von Bürger, Jens Christoph
Veröffentlicht 2020