Eyad Alkassar und Peter - Info zur Person

(1 - 6 von 11

)

Eyad Alkassarse.inf.ethz.ch › publications › bibtexbrowser

se.inf.ethz.ch

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie ...

Distributed Embedded Systems: Design, Middleware and Resources: IFIP...

books.google.de

... distinguished master ECU, being the first sender in a round. The combination of the results into a lock-step and synchronous 58 Eyad Alkassar, Peter B ̈ohm, ...

KIT - Application-oriented Formal Verification - Publications

formal.kastel.kit.edu

@INPROCEEDINGS{vscomp2010, author = {Vladimir Klebanov and Peter M{\"u}ller and Natarajan Shankar and Gary T. Leavens and Valentin W{\"u}stholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and …

Sascha Böhme
Steffen Knapp
Vladimir Klebanov

Mahmoud Fouz
Marcus Englert
Elena Petrova

Personen
Vorname "Eyad" (132)
Name "Alkassar" (5)

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

Eyad Alkassar und Peter Person-Info

Eyad Alkassarse.inf.ethz.ch › publications › bibtexbrowser

Distributed Embedded Systems: Design, Middleware and Resources: IFIP...

KIT - Application-oriented Formal Verification - Publications

KIT - Anwendungsorientierte Formale Verifikation - Veröffentlichungen

Publications - Chair of Software Engineering

Alle Infos zum Namen "Eyad Alkassar"