Formal Verification of Cyberphysical Systems

Thumbnail Image
Files
Michael_Formal_Verification_of_Cyberphysical_Systems.pdf (727.99 KB)
Authors
Michael, James Bret
Drusinsky, Doron
Wijesekera, Duminda
Advisors
Second Readers
Subjects
Date of Issue
2021
Date
Publisher
IEEE
Language
Abstract
Computer hosts a virtual roundtable with seven experts to discuss the formal specification and verification of cyberphysical systems.
Type
Article
Description
17 USC 105 interim-entered record; under review.
URI
https://hdl.handle.net/10945/69441
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funding
https://hdl.handle.net/10945/69441
Format
10 p.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications