Publikationen suchen
- Publikation
- Autoren
- Einrichtungen
- Abstract
- Externe Dokumente
- Links
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [10. GI/ITG/GMM-Workshop Modellierung und Verifikation]
(
Konferenz/Workshop
)