Publication:
Formal Verification of Cyberphysical Systems

Loading...
Thumbnail Image
Authors
Michael, James Bret
Drusinsky, Doron
Wijesekera, Duminda
Subjects
Advisors
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.
Series/Report No
Department
Computer Science (CS)
Electrical and Computer Engineering (ECE)
Cyber Security Engineering
Organization
Naval Postgraduate School
Identifiers
NPS Report Number
Sponsors
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