Gerd Behrmann und Conference - Info zur Person

(1 - 12 von 12

)

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...

Alle Infos zum Namen "Gerd Behrmann"

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.