A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems. | 0 | 0.34 | 2020 |
Nutzung eines elektronischen Schulbuchs im Informatikunterricht am Beispiel des Projektes inf-schule. | 0 | 0.34 | 2016 |
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. | 2 | 0.43 | 2014 |
SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern. | 1 | 0.55 | 2012 |
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems. | 0 | 0.34 | 2012 |
Conceptual Information Systems Discussed through in IT-Security Tool | 9 | 1.10 | 2000 |
Parallelization of Large Scale Industrial Aerodynamic Applications on the IBM RS/6000 SP | 0 | 0.34 | 1996 |
Abstract Notions and Inference Systems for Proofs by Mathematical Induction | 9 | 0.57 | 1994 |
Operational Specifications with Built-Ins | 7 | 0.57 | 1994 |
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications | 9 | 0.58 | 1993 |
Semantics for Positive/Negative Conditional Rewrite Systems | 2 | 0.40 | 1992 |