Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces

Stefan Förster

---

Februar 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 @InProceedings{StFÃ06,      address      = {Dresden},      author       = {Stefan Förster},      title        = {Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces},      publisher    = {Fraunhofer-Institut für Integrierte Schaltungen},      pages        = {145--152},      month        = {February},      year         = {2006},      isbn         = {3-9810287-1-6},      booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, }