A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems

Freek van den Berg, Boudewijn R. Haverkort. A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. In Holger Hermanns, editor, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. Volume 12040 of Lecture Notes in Computer Science, pages 242-258, Springer, 2020. [doi]

Authors

Freek van den Berg

This author has not been identified. Look up 'Freek van den Berg' in Google

Boudewijn R. Haverkort

This author has not been identified. Look up 'Boudewijn R. Haverkort' in Google