An approach for integrated specification and design of real-time systems
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 223996 |
| Erscheinungsvermerk | In: Proceedings. EURO-DAC '96, European Design Automation Conference with EURO-VHDL '96 and Exhibition, Geneva, Switzerland 1996. Los Alamitos, Calif. 1996. |