Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits. | 0 | 0.34 | 2008 |
Expressing domain variability for configuration | 0 | 0.34 | 2004 |
Data management: limiter or accelerator for electronic design creativity | 0 | 0.34 | 2001 |
Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System | 0 | 0.34 | 2001 |
Visualizing application behavior on superscalar processors | 15 | 2.37 | 1999 |
Objektorientiertes Modellierungskonzept für Steuergeräte-Software / Object-oriented Modeling Concept for Software of Electronic Control Units in Vehicles. | 0 | 0.34 | 1999 |
The Role of Software Process Modeling in Planning Industrial Measurement Programs | 18 | 1.50 | 1996 |