Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.

Show all

2020

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars

Counterexample Interpretation for Contract-Based Đesign Incollection

In: Model-Based Safety and Assessment, pp. 99–114, Springer International Publishing, 2020.

Links | BibTeX | Schlagwörter: automotive, contract-based design, counterexample, model checking, safety