A formal framework for distributed cyber-physical systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 01, 2022
- Source ID
- 10.1016/j.jlamp.2022.100795
Entities
People
- Benjamin Lion
- Carolyn Talcott
- Farhad Arbab
Organizations
- Centrum Wiskunde & Informatica
- Office of Naval Research
- United States Naval Research Laboratory