Maik Kollmann und Checking Person-Info

( Ich bin Maik Kollmann)

(1 - 12 von 13

)

ETAPS 2007www4.di.uminho.pt › progMBT

www4.di.uminho.pt

Generating Scenarios by Multi-Object Checking: Maik Kollmann and Yuen Man Hon: Testing Planning Domains (without Model Checkers) ...

Kollmann Maik

www.jucs.org

Maik Kollmann Technical University Braunschweig, Germany. H.-D. Ehrich, M. Kollmann, R. Pinger: Checking Object System Designs Incrementally Maik Kollmann. Technical University Braunschweig Germany. 1 article by this author. Sort by: Publication date newest, Publication date oldest, Total views ... › Kollmann_... › browse_journa...

Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung...

books.google.de

... und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-object-Checking. Contributor, Maik Kollmann.

Programme of MBT 3rd Workshop on Model Based Testing

natura.di.uminho.pt

Generating Scenarios by Multi-Object Checking Maik Kollmann and Yuen Man Hon. • Testing Planning Domains (without Model Checkers) Franco Raimondi, ... Maik Kollmann. Tu Braunschweig - Ifis, Germany . Martin Ouimet. Massachusetts Institute of Technology, Usa . › etaps › PROGRAMA › FINAL › outMBT

Multi-Object Checking CounterexamplesInria

hal.inria.fr

von M Kollmann · — Maik Kollmann1. Yuen Man Hon2. Institute of Information Systems. Technical University Braunschweig Braunschweig, Germany. Abstract.

Hans-Dieter EhrichUni Trier

dblp.uni-trier.de

— Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger: Checking Object System Designs Incrementally. J. Univers. Comput. Sci.

CiteSeerX — Checking object system designs incrementally

citeseerx.ist.psu.edu

by Hans-dieter Ehrich , Maik Kollmann , Ralf Pinger. Venue: Journal of Universal Computer Science. Citations: self · Summary · Citations · Active ...

J.UCS, Volume 9

vldbarc.org

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger: Checking Object System Designs Incrementally Electronic Edition · CiteSeerX · Google scholar ...

Electronic Notes in Theoretical Computer Science, Volume 190

vldbarc.org

Maik Kollmann, Yuen Man Hon: Generating Scenarios by Multi-Object Checking Electronic Edition · CiteSeerX · Google scholar · pubzone.org · BibTeX ...

Generating Scenarios by Multi-Object Checking – topic of research...

cyberleninka.org

Maik Kollmann; Yuen Man Hon ... Abstract of research paper on Computer and information sciences, author of scientific article — Maik Kollmann, Yuen Man Hon.

Generating Scenarios by Multi-Object Checking | Semantic Scholar

www.semanticscholar.org

Sci.}, year={2007}, volume={190}, pages={61-72} }. Maik Kollmann, Yuen Man Hon; Published 2007; Computer Science; Electron. Notes Theor. Comput. Sci.

Multi-Object Checking Counterexamples - Archive ouverte HAL

hal.archives-ouvertes.fr

Model checking has become the most widely used technique for the verification of state based systems. In addition to its automation in checking whether a...

Alle Infos zum Namen "Maik Kollmann"

Verwandte Suchanfragen zu Maik Kollmann

Benjamin Hirsch
Georg Röver
Andreas Kupfer

Laura Gerber
Mehdi Dastani
Andreas Frick

Henning Wirtz
Barnaby Metschurat

Person "Kollmann" (9)
Vorname "Maik" (14838)
Name "Kollmann" (803)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit