Auflistung nach Autor "Tarraf, Ahmad"
Anzeige der Dokumente 1-1 von 1
-
From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction
Tarraf, Ahmad; Hedrich, Lars
257-270
- Startseite
- Auflistung nach Autor