From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

From Reactive Systems to Cyber-Physical Systems - Springer Springer 2019

9783030315146

EBOOK