Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

Logical Foundations of Cyber-Physical Systems

Author
Year of Publication
2018
Publisher
Springer
City
Cham
ISBN Number
978-3-319-63587-3
DOI
10.1007/978-3-319-63588-0