Alexandre David-Uraz - Bücher - alle Infos bei Yasni.de

(1 - 10 von 11

)

Alexandre David

www.db.informatik.uni-bremen.de

Alexandre David: Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions, Fundamental Approaches to Software ...

Wang Yi

www.db.informatik.uni-bremen.de

Wang Yi: Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions, Fundamental Approaches to Software …

Engineering Dependable Software Systems - NATO Emerging Security...

books.google.de

Science, pages 416–431. Springer-Verlag, Alexandre David, Dehui Du, Kim G.

Scalable compatibility for embedded real-time components via language...

books.google.de

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional...

Geschichten um Tibet - Xiaoming Zhang - Google Books

books.google.de

翻译者还有:吴晓红,周健,黄宜

Computer Aided Verification: 14th International Conference, CAV

books.google.de

... Franck Cassez Pavol Cerny Hana Chockler Thomas Colcombet Dennis Dams Alexandre David Xiaoqun Du M. Duflot Bruno Dutertre Table of Contents Invited ...

Engineering Methods and Tools for Software Safety and Security -...

books.google.de

As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent...

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed...

books.google.de

[ABB+01] Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G.

Object-Oriented Technology. ECOOP Workshop Reader: ECOOP

books.google.de

Science, K.U.Leuven, Belgium, yvan . barbaix@cs . kuleuven . ac . be - Alexandre DAVID, Dept. of Computer Systems / Uppsala Uni., Sweden, adavid@DoCS .

Im Westen Neues: Migration und ihre Folgen : deutsche Juden als...

books.google.de

Barens, Elie (Gent) 125 Barq, Alexandre (= Alexandre David, Antwerpen) 127 Basel 95, 145 Batavische Republik (vgl. Nord- Niederlande) 35,40, 130, 187, ...

Verwandte Suchanfragen zu Alexandre David-Uraz

Véronique Petit

Personen
Vorname "Alexandre" (3355)
Name "David-Uraz" (1)

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

Bücher Alexandre David-Uraz