Search results for: Sabine Glesner
Lecture Notes in Computer Science > FME 2003: Formal Methods > Program Checking and Testing > 758-777
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 85-100
Lecture Notes in Computer Science > Tests and Proofs > 121-136
Lecture Notes in Computer Science > Euro-Par 2008 – Parallel Processing > Topic 4: High Performance Architectures and Compilers > 350-359
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 144-160
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Articles by Participants > 245-261
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 217-226
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 181-193
Formal Aspects of Computing > 2006 > 18 > 2 > 244-262