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