Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen

Publication Type:

Conference Paper

Source:

13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2010)