Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Helle, Philipp"'
Autor:
Helle, Philipp, Schramm, Gerrit
Publikováno v:
Incose International Symposium; Jul2024, Vol. 34 Issue 1, p1807-1819, 13p
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 December 2010 264(3):85-99
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Virtual Verification of Designs against Requirements (vVDR) is a method for model-based system design verification. This paper discusses enhancements to the vVDR method and its implementation in ModelicaML to further improve the support of system ver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::144f37f16559716b395f624b7286fe65
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110308
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110308
Publikováno v:
ICSE: International Conference on Software Engineering; 2015, p119-128, 10p
Publikováno v:
Incose International Symposium; Jul2016, Vol. 26 Issue 1, p585-599, 15p
Publikováno v:
Incose International Symposium; Jul2016, Vol. 26 Issue 1, p571-584, 14p
Publikováno v:
High Efficiency Video Coding (HEVC); 2014, p113-140, 28p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.