Universitätsbibliothek Erlangen Zur Homepage der Universitätsbibliothek Erlangen
Zur Homepage der Universität Erlangen

Ihr Suchergebnis


Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1
1. Kresic, Dario ; Hielscher, Kai-Steffen ; German, Reinhard (2010) Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL Report (Bericht)
 
2. Kresic, Dario (2008) Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen Dissertation
 
Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1


Home | Suchen | Veröffentlichen
 Sie benötigen weitere Informationen? Fragen Sie uns!


Letzte Änderung: 14.07.10