( en | de | ru )

 

Disambiguierung von "Whalen, Michael W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Verification of Architectural Models.

, , , , , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 126-140. Springer, (2012)

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.

Michael -W Koch

Michael W Driesch

Michael W Schillings

Michael -W Möller

Michael -W Salisch

 

Weitere Publikationen von Autoren mit dem selben Namen

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 348-366. Springer, (2023)Architectural Modeling and Analysis for Safety Engineering., , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2017)Inductive Validity Cores., , , und . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Development of Security Software: A High Assurance Methodology., , , , und . ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 266-285. Springer, (2009)Proofs for Incremental SAT with Inprocessing., und . FMCAD, Seite 132-140. IEEE, (2023)Machine-Checked Proofs for Realizability Checking Algorithms., , und . VSTTE, Volume 9593 von Lecture Notes in Computer Science, Seite 110-123. Springer, (2015)Model-Checking of Safety-Critical Software for Avionics., , und . ERCIM News, (2008)Structuring simulink models for verification and reuse., , , und . MiSE, Seite 19-24. ACM, (2014)Hierarchical multi-formalism proofs of cyber-physical systems., , , , , , und . MEMOCODE, Seite 90-95. IEEE, (2015)Up and out: scaling formal analysis using model-based development and architecture modeling.. HILT, Seite 41-42. ACM, (2013)