scientific article; zbMATH DE number 1033648
From MaRDI portal
Publication:4344156
zbMath0878.68133MaRDI QIDQ4344156
Kei Suzuki, Massimiliano Chiodo, Claudio Passerone, Ellen Sentovich, Attila Jurecska, Felice Balarin, Paolo Giusto, Bassam Tabbara, Luciano Lavagno, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli
Publication date: 15 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer science aspects of computer-aided design (68U07) Mathematical problems of computer architecture (68M07)
Related Items (5)
Precise specification matching for adaptive reuse in embedded systems ⋮ Modeling distributed real-time applications with Specification PEARL ⋮ Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.
Uses Software
This page was built for publication:
