Formal Modeling and Analysis of Timed Systems Martin Fränzle & Nicolas Markey의 도서 더 보기

Engineering Safe and Trustworthy Cyber Physical Systems

Dependable Software Engineering: Theories, Tools, and Applications