( en | de | ru )

 

Disambiguierung von "Koopman, Pieter W. M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Testing with Functions as Specifications.

. Perspectives of Model-Based Testing, Volume 04371 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)

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.

Johannes Koopman

Arne Koopman

W H -M Raab

R M W Dixon

Eric W M Roosenboom

 

Weitere Publikationen von Autoren mit dem selben Namen

Embedding a web-based workflow management system in a functional language., , , und . LDTA, Seite 7. ACM, (2010)Tiered versus tierless IoT stacks: comparing smart campus software architectures., , , , und . IOT, Seite 21:1-21:9. ACM, (2020)Testing with Functions as Specifications.. Perspectives of Model-Based Testing, Volume 04371 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler., , , , und . Haskell, Seite 49-60. ACM, (2010)Inference for a New Probabilistic Constraint Logic., , , , und . IJCAI, Seite 2540-2546. IJCAI/AAAI, (2013)A Shallow Embedded Type Safe Extendable DSL for the Arduino., und . TFP, Volume 9547 von Lecture Notes in Computer Science, Seite 104-123. Springer, (2015)Gast: Generic Automated Software Testing., , , und . IFL, Volume 2670 von Lecture Notes in Computer Science, Seite 84-100. Springer, (2002)Model-Based Testing of Thin-Client Web Applications and Navigation Input., , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2008)On-the-Fly Formal Testing of a Smart Card Applet., , , , und . SEC, Volume 181 von IFIP, Seite 565-576. Springer, (2005)An Introduction to Task Oriented Programming., , und . CEFP, Volume 8606 von Lecture Notes in Computer Science, Seite 187-245. Springer, (2013)