Formal Modeling and Analysis of Timed Systems المزيد من كتب Martin Fränzle & Nicolas Markey

Engineering Safe and Trustworthy Cyber Physical Systems Engineering Safe and Trustworthy Cyber Physical Systems
Engineering Safe and Trustworthy Cyber Physical Systems
٢٠٢٥
Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
٢٠١٦