Analyzing Consistency of Formal Requirements

BIB
Jan Steffen Becker
18th International Workshop on Automated Verification of Critical Systems
2018
inproceedings
ASSUME
Affordable Safe And Secure Mobility Evolution