( en | de | ru )

 

Disambiguierung von "Whalen, Michael W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Observable modified Condition/Decision coverage.

, , , , und . ICSE, Seite 102-111. IEEE Computer Society, (2013)

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 Salisch

Michael -W Möller

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Validity Cores., , , und . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Architectural Modeling and Analysis for Safety Engineering., , , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2017)Model-Checking of Safety-Critical Software for Avionics., , und . ERCIM News, (2008)Development of Security Software: A High Assurance Methodology., , , , und . ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 266-285. Springer, (2009)Machine-Checked Proofs for Realizability Checking Algorithms., , und . VSTTE, Volume 9593 von Lecture Notes in Computer Science, Seite 110-123. Springer, (2015)Proofs for Incremental SAT with Inprocessing., und . FMCAD, Seite 132-140. IEEE, (2023)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)Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 348-366. Springer, (2023)Automated Oracle Data Selection Support., , , und . IEEE Trans. Software Eng., 41 (11): 1119-1137 (2015)