Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu katoen!
Hier klicken für Ihr Exposé |
Malte Kampschulte
DBLP: Joost-Pieter Katoen: Malte Kampschulte, Joost-Pieter Katoen: Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN ..., Katoen
Christel Baier
Titel: Principles of model checking / Christel Baier ; Joost-Pieter Katoen. Verfasser: Baier, Christel ; Katoen, Joost-Pieter. Ers…nen: Cambridge, Mass. ...
Holger Hermanns
Download Free eBook:Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis - Free chm, pdf ebooks … download
Dennis Guck
DBLP: Joost-Pieter Katoen: Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer: Quantitative Timed Analysis of Interactive Markov Chains. …
Alexander Pretschner
Manfred Broy / Bengt Jonsson / Joost-Pieter Katoen / Martin Leucker / Alexander Pretschner (eds.) Model-Based Testing of Reactive Systems; Advanced Lectures …
Daniel Neider
Publications of Joost-Pieter Katoen: Bene…t Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, and David Piegdon. libalf: the Automata …
Lennard Lambert
oDOBS - Author page: Joost-Pieter Katoen: Joost-Pieter KATOEN, Lennard LAMBERT: Pomsets for MSC. 1997; 19 Rom LANGERAK, Ed BRINKSMA, Joost-Pieter KATOEN: Causal …
Joost-Pieter Katoen
RWTH Aachen - Univ.-Prof. Dr. Joost-Pieter Katoen: Inhalt. Univ.-Prof. Dr. Joost-Pieter Katoen. Professor Joost-Pieter Katoen, Foto: Peter Winandy geboren am …
Mareike Bültmann
Mareike Bültmann. Katoen. KW 29. 20.7. Testing with Model Checkers. Katrin Hölldobler …
Carsten Tepper
Publications of Joost-Pieter Katoen: Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, and Carsten Tepper. Model-checking large structured Markov chains. J. …
Carsten Kern
Bene…t Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: SMA - The Smyle Modeling Approach. Com…ng and Informatics 29(1): 45-72 (2010) ..., Katoen
Andreas Vorpahl
DBLP: Joost-Pieter Katoen: Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: The …
Bene…t Bollig
Bene…t Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel ... Bene…t Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel ...
Erika Abraham
Publications of Joost-Pieter Katoen: Nils Jansen, Erika Abraham, Matthias Volk, Ralf Wimmer, Joost-Pieter … Ralf Wimmer, Nils Jansen, Erika Abraham, Joost-Pieter …
Ulrich Graupe
… Brussels 21 st January 2004 ATTACHMENT 6 Present : Heike Clausen VOTG Michael de Rijk Hoyer - Odfjell Chris Trett Suttons Inge Karlberg Katoen Natie Jan …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ