( en | de | ru )

 

Disambiguierung von "Narizzano, Massimo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Test Generation for Coverage Analysis of ERTMS Software.

, , , , und . ICST, Seite 303-306. IEEE Computer Society, (2009)

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.

Massimo Viola

Massimo Tallarida

Massimo Malagó

Massimo Moser

Massimo Busin

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning with Quantified Boolean Formulas., , und . Handbook of Satisfiability, Volume 185 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)An Empirical Perspective on Ten Years of QBF Solving., , , , und . RCRA@AI*IA, Volume 1451 von CEUR Workshop Proceedings, Seite 62-75. CEUR-WS.org, (2015)Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)Watched Data Structures for QBF Solvers., , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 25-36. Springer, (2003)Learning for Quantified Boolean Logic Satisfiability., , und . AAAI/IAAI, Seite 649-654. AAAI Press / The MIT Press, (2002)The QBFEVAL Web Portal., , und . JELIA, Volume 4160 von Lecture Notes in Computer Science, Seite 494-497. Springer, (2006)Automatic Test Generation for Coverage Analysis Using CBMC., , , , und . EUROCAST, Volume 5717 von Lecture Notes in Computer Science, Seite 287-294. Springer, (2009)Ranking and Reputation Systems in the QBF Competition., , und . AI*IA, Volume 4733 von Lecture Notes in Computer Science, Seite 97-108. Springer, (2007)QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability., , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 364-369. Springer, (2001)Automated Requirements-Based Testing of Black-Box Reactive Systems., , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2020)