Tutorial4

Requirement modeling and verification in OpenModelica

Autor/innen

  • Lena Buffoni Linköping University

Downloads

Veröffentlicht

2018-02-19

Zitationsvorschlag

1.
Buffoni L. Tutorial4: Requirement modeling and verification in OpenModelica. MODPROD [Internet]. 19. Februar 2018 [zitiert 3. Juli 2024];20(12):8. Verfügbar unter: https://wcc.ep.liu.se/index.php/MODPROD/article/view/627

Ausgabe

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

Rubrik

Tutorials