ClawZ: Cost-Effective Formal Verification for Control Systems

2005 ◽  
pp. 465-479 ◽  
Author(s):  
M. M. Adams ◽  
P. B. Clayton
Keyword(s):  
Formal Verification ◽  
Control Systems ◽  
Cost Effective

CAN Security: Cost-Effective Intrusion Detection for Real-Time Control Systems

2014 ◽  
Author(s):  
Satoshi Otsuka ◽  
Tasuku Ishigooka ◽  
Yukihiko Oishi ◽  
Kazuyoshi Sasazawa
Keyword(s):  
Intrusion Detection ◽  
Control Systems ◽  
Real Time ◽  
Cost Effective ◽  
Real Time Control ◽  
Time Control

Use of Reusable Software for Cost Effective Development of Mission Control Systems

2004 ◽  
Author(s):  
A. Ercolani ◽  
F. Delhaise ◽  
D. Guerrucci ◽  
M. Jones ◽  
G. W. Kerr ◽  
...  
Keyword(s):  
Control Systems ◽  
Cost Effective ◽  
Reusable Software ◽  
Mission Control ◽  
Effective Development

Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems

2021 ◽  
Author(s):  
Maziar Mahani ◽  
Denise Rizzo ◽  
Chris Paredis ◽  
Yue Wang
Keyword(s):  
Formal Verification ◽  
Control Systems ◽  
State Machine
Sign in / Sign up

Export Citation Format

Share Document