Cover Feature Guesta Editors' Introduction, Formal Methods in Cyberphysical Systems
Loading...
Authors
Michael, James Bret
Drusinsky, Doron
Wijeskera, Duminda
Subjects
Advisors
Date of Issue
2021-09
Date
Publisher
IEEE
Language
Abstract
To improve the state-of-the art practice of applying formal methods to cyberphysical systems, we briefly discuss the evolution of these methods and also summarize four research efforts to close the current capability gaps in their application.
Type
Article
Description
17 USC 105 interim-entered record; under temporary embargo.
Series/Report No
Department
Computer Science (CS)
Electrical and Computer Engineering (ECE)
Organization
Identifiers
NPS Report Number
Sponsors
Funding
U.S. Government affiliation is unstated in article text.
Format
5 p.
Citation
Michael, James Bret, Doron Drusinsky, and Duminda Wijesekera. "Formal Methods in Cyberphysical Systems. (introduction)" Computer 54.09 (2021): 25-29.