Amanote Research
Register
Sign In
Rigorous Design of Cyber-Physical Systems
doi 10.1109/samos.2012.6404193
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2012
Authors
Joseph Sifakis
Publisher
IEEE