Search results for: Sabine Glesner
Journal of Systems and Software > 2018 > 144 > C > 314-327
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