Sign in
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.
John S. Fitzgerald
Carl Gamble
Peter Gorm Larsen
Kenneth Pierce
Jim Woodcock
Published in:
FormaliSE@ICSE (2015)
Keyphrases
</>
artificial intelligence
data mining
information systems