An Approach to the Integration of Formal and Executable Specifications of Heterogenous Systems and Performance Modelling
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1993 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000059173 |
| Erschienen in | Proceedings. 2nd IFIP International Workshop on Hardware/Software Codesign, Innsbruck, Austria, 1993 |