Open AccessCharacterizing Behavioral Modeling in Systems and Safety Model-Based Engineerings and their Overlap for Consistency Checking
Author(s) -
Stephen Creff,
Michel Batteux
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.3850/978-981-18-5183-4_r08-02-385-cd
Subject(s) - consistency (knowledge bases) , computer science , model checking , artificial intelligence , theoretical computer science