Amanote Research
Register
Sign In
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
doi 10.1109/formalise.2015.14
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2015
Authors
John Fitzgerald
Carl Gamble
Peter Gorm Larsen
Kenneth Pierce
Jim Woodcock
Publisher
IEEE