Gerd Behrmann und Paul Pettersson - Info zur Person

(1 - 10 von 10

)

Dependable Software Systems Engineeringgoogle.es

books.google.es

... Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal implementation secrets. In Werner Damm and Ernst ...

Model-Based Validation of Intelligencewww.aaai.org › Library › Symposia › Spring

www.aaai.org

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Protocol Verification with Heuristic Search / 75

oDOBS - Author page: Ansgar Fehnker

odobs.cs.uni-dortmund.de

Gerd BEHRMANN, Ansgar FEHNKER: Efficient Guiding Towards Cost-Optimality in UPPAAL. 5: EE: Gerd BEHRMANN, Ansgar FEHNKER, Thomas HUNE, Kim GULDSTRAND LARSEN, Paul PETTERSSON, ...

Modeling and Verification of Parallel Processes: 4th Summer ...

books.google.de

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn. Efficient Guiding Towards Cost-Optimality in uppaal.

Wang Yi dblp

dblp.org

— Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson , Wang Yi: Developing UPPAAL over 15 years. Softw. Pract. Twitter; Reddit; BibSonomy; LinkedIn; Facebook. persistent URL: https://dblp.org/rec/journals/sigmetrics/BehrmannLR05. Gerd Behrmann, Kim Guldstrand Larsen, ... › Persons

Alle Infos zum Namen "Gerd Behrmann"

PROGRAM OF TUESDAY, APRIL 3RD

etaps.org

Gerd Behrmann (Aalborg University), Ansgar Fehnker (University of Nijmegen), Thomas Hune (Aarhus University), Kim Larsen (University of Twente), Paul Pettersson (Uppsala University), Judi Romijn (University of Nijmegen) Linear Parametric Model Checking of Timed Automata Thomas ...