Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces
Stefan FörsterFebruar 2006
Typ | InProceedings |
Quelle | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen S. 145 - 152 |
Verlag | Fraunhofer-Institut für Integrierte Schaltungen |
Adresse | Dresden |
ISBN | 3-9810287-1-6 |
Bibtex |
Anzeigen |