FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter. FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. In Antonio Bucchiarone, Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio, editors, Domain-Specific Languages in Practice: with JetBrains MPS. pages 131-164, Springer, 2021. [doi]

This author has not been identified. It may be one of the following persons:

Daniel Ratiu

Look up 'Daniel Ratiu' in GoogleThis author has not been identified. Look up 'Arne Nordmann' in GoogleThis author has not been identified. Look up 'Peter Munk' in GoogleThis author has not been identified. Look up 'Carmen Cârlan' in GoogleThis author has not been identified. It may be one of the following persons:

Markus Völter

Look up 'Markus Voelter' in Google

runs on WebDSL