A Framework for Critical Interactive System Formal Modelling and Analysis [chapter]

Ismaïl Mendil
2020 Lecture Notes in Computer Science  
doi:10.1007/978-3-030-48077-6_36 fatcat:rmt5452mojbdzj437u4lfqaejy