Publication | Closed Access
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
16
Citations
29
References
2022
Year
EngineeringReal-time System DesignAutomationComputer EngineeringFormal MethodsSystems EngineeringSynchronous Cyber-physical SystemsFormal AnalysisIndustrial Control SystemControl System SecurityReal-time CommunicationFormal VerificationControl Protocol
| Year | Citations | |
|---|---|---|
Page 1
Page 1