Hannes Schoenhaar -

Not registered as user yet

Name:Hannes Schoenhaar

Affiliation:Siemens Corporate Technology

Contributions

2024

CAIN

Author of Approach for Argumenting Safety on Basis of an Operational Design Domain within the Research and Experience Papers-track

2019

FormaliSE

Author of FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches - Using Language Engineering to Develop a Multi-Paradigm Specification Environment for NuSMV within the FormaliSE 2019-track