Tutorial4

Requirement modeling and verification in OpenModelica

Authors

  • Lena Buffoni Linköping University

Downloads

Published

2018-02-19

How to Cite

1.
Buffoni L. Tutorial4: Requirement modeling and verification in OpenModelica. MODPROD [Internet]. 2018 Feb. 19 [cited 2024 Dec. 21];20(12):8. Available from: https://wcc.ep.liu.se/index.php/MODPROD/article/view/627

Issue

Vol. 20 No. 12 (2018): Proceedings of the 12th MODPROD Workshop 2018, February 6-7, Linköping University "Cyber-Physical Systems of Systems"

Section

Tutorials