Helmut Wahl

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Logical Framework

Computer Science

Epistemic Logic

Higher Order Logic

Top Venues

J. Syst. Softw.

Publications

Azad Khandoker, Sabine Sint, Guido Gessl, Klaus Zeman, Franz Jungreitmayr, Helmut Wahl, Andreas Wenigwieser, Roland Kretschmer
Towards a logical framework for ideal MBSE tool selection based on discipline specific requirements. J. Syst. Softw. 189 (2022)