From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
Rance Cleaveland
,
Oleg Sokolsky
,
Ezio Bartocci
,
Radu Grosu
Details
OL Work ID
OL20665560W
Find this book
Open Library