1
0
0
(1 - 13 von 13
)
CHEP Conference, Sofia, Bulgaria (9-13 July 2018): Contribution...
indico.cern.ch
Details for Gerd Behrmann. Affiliation: NEIC. Author in the following contribution. Macaroons: looking back and looking forward · CERN. Powered by Indico.
CHEP Conference, Sofia, Bulgaria (9-13 July indico.cern.ch › event › author
indico.cern.ch
Details for Gerd Behrmann. Affiliation: NEIC. Author in the following contribution. dCache: storage for advanced scientific use-cases and beyond · CERN.
CS Workshop on Cloud Storage Synchronization and Sharing...
indico.cern.ch
... Contribution List · Book of Abstracts · Surveys · Conference Video Recording. Details for Gerd Behrmann. Affiliation: NDGF. Author in the following contribution.
Formal Techniques in Real-Time and Fault-Tolerant Systems: ...google.es
books.google.es
... Gerd Behrmann, Thomas Hune, and Frits Vaandrager. Distributed timed model checking - How the search order matters. In Proc. of 12th International Conference ...
Formal Modeling and Analysis of Timed Systems: Third International...
books.google.ru
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS...
Computer Aided Verification: 14th International Conference, CAV
books.google.de
... Pnueli (Weizmann Inst.) Joseph Sifakis (IMAG Grenoble) Dept. of CS, Aalborg University Twente University BRICS Gerd Behrmann Shoham Ben-David Johan ...
Embedded Software: Third International Conference, EMSOFT 2003,...
books.google.de
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in...
Patricia BOUYER-DECITRE - LSV - ReadkonG
www.readkong.com
[114] Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G. Larsen. Static guard anal- ysis in timed automata verification. In Proceedings of the 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’03), Warsaw, Poland, April 2003, volume of Lecture Notes in Computer Science, pages 254–277.
Analysis of internal network requirements for the distributed Nordic...
orbit.dtu.dk
Josva Kleist, Gerd Behrmann, Lars Fischer, Mette Gamst, Michael Grønager. Research output: Contribution to conference › Conference abstract for conference ...
19th International Conference on Computer Aided Verification
www.cav2007.org
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen and Didier Lime. Uppaal-Tiga: Time for Playing Games! Igor Bogudlov ...
Minimum-cost reachability for priced timed automata — Macquarie...
researchers.mq.edu.au
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn, Frits Vaandrager. Research output: Chapter in Book/Report/Conference ...
[PDF] UPPAAL 4.0 | Semantic Scholarwww.semanticscholar.org › paper › UPPAAL-4.0-B...
www.semanticscholar.org
Gerd Behrmann, Alexandre David, +4 authors Martijn Hendriks · Published 11 September · Computer Science · Third International Conference on the ...
19th International Conference on Computer Aided Verification
www.cav2007.org
Hubert Garavel, Radu Mateescu, Frédéric Lang and Wendelin Serwe CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
Alle Infos zum Namen "Gerd Behrmann"
Verwandte Suchanfragen zu Gerd Behrmann
| Ansgar Fehnker Paul Pettersson Henning Dierks | Werner Damm Denis Winter Peter Phleps |
Person "Behrmann" (4) Vorname "Gerd" (24029) Name "Behrmann" (657) |
sortiert nach Relevanz / Datum