KIT | KIT-Bibliothek | Impressum

An Approach to the Integration of Formal and Executable Specifications of Heterogenous Systems and Performance Modelling

Tanurhan, Y.; Bortolazzi, J.; Mueller-Glaser, K. D.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 1993
Sprache Englisch
Identifikator KITopen ID: 1000059173
Erschienen in Proceedings. 2nd IFIP International Workshop on Hardware/Software Codesign, Innsbruck, Austria, 1993
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page