Search results for: Alexander Krupp
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Quality Assurance > 98-117
IFIP — The International Federation for Information Processing > Analysis, Architectures and Modelling of Embedded Systems > Simulation, Verification and Test > 171-184
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Verification and Validation > 78-89
Electronic Notes in Theoretical Computer Science > 2006 > 164 > 4 > 3-11