( en | de | ru )

 

Disambiguierung von "Heimdahl, Mats Per Erik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contract discovery from black-box components.

, , , , und . WASPI@ESEC/SIGSOFT FSE, Seite 5-8. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Per-Erik Wingren

Per-Erik Wolff

Per-Erik Forssén

Mats Paulsson

Mats Noges

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Validity Cores., , , und . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Specification-Based Prototyping for Embedded Systems., , und . ESEC / SIGSOFT FSE, Volume 1687 von Lecture Notes in Computer Science, Seite 163-179. Springer, (1999)Auto-generating Test Sequences Using Model Checkers: A Case Study., , , , und . FATES, Volume 2931 von Lecture Notes in Computer Science, Seite 42-59. Springer, (2003)Model-Based Testing: Challenges Ahead.. COMPSAC (1), Seite 330. IEEE Computer Society, (2005)Architectural Modeling and Analysis for Safety Engineering., , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2017)Hierarchical multi-formalism proofs of cyber-physical systems., , , , , , und . MEMOCODE, Seite 90-95. IEEE, (2015)Structuring simulink models for verification and reuse., , , und . MiSE, Seite 19-24. ACM, (2014)Coverage Based Test-Case Generation Using Model Checkers., und . ECBS, Seite 83-. IEEE Computer Society, (2001)On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate., , , und . SEW, Seite 75. IEEE Computer Society, (2003)Challenges in the regulatory approval of medical cyber-physical systems., , und . EMSOFT, Seite 227-232. ACM, (2011)