( en | de | ru )

 

Disambiguierung von "Marre, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving the Floating Point Addition and Subtraction Constraints.

, und . CP, Volume 6308 von Lecture Notes in Computer Science, Seite 360-367. Springer, (2010)

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.

Susanne Marré

Birgit Marré

Angela Marré-Lippitz

Jörg Marrenbach

Heinrich Marré

 

Weitere Publikationen von Autoren mit dem selben Namen

Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique.. SPLT, Seite 213-. (1989)Improving the Floating Point Addition and Subtraction Constraints., und . CP, Volume 6308 von Lecture Notes in Computer Science, Seite 360-367. Springer, (2010)Dynamic Testing from Bounded Data Type Specifications., , und . EDCC, Volume 1150 von Lecture Notes in Computer Science, Seite 285-302. Springer, (1996)A Formal Approach to Software Testing., , und . AMAST, Seite 243-253. Springer, (1991)Test Sequences Generation from LUSTRE Descriptions: GATeL., und . ASE, Seite 229-. IEEE Computer Society, (2000)Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.. ICLP, Seite 202-219. MIT Press, (1991)LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications.. TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 799-800. Springer, (1995)Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module., und . ESEC, Volume 550 von Lecture Notes in Computer Science, Seite 80-100. Springer, (1991)Real Behavior of Floating Point., , und . SMT, Volume 1889 von CEUR Workshop Proceedings, Seite 50-62. CEUR-WS.org, (2017)