Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg Olderog Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Real-Time Systems: Formal Specification and Automatic Verification (Bog, Hardback, Engelsk)
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat