Search results for: Wolf Zimmermann
Lecture Notes in Computer Science > Generic Programming > Foundations and Methodology Comparisons > 53-68
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 177-202
Lecture Notes in Computer Science > Perspectives of System Informatics > Model & Program Checking > 481-492
Lecture Notes in Computer Science > Euro-Par 2004 Parallel Processing > Topic 3: Scheduling and Load Balancing > 263-270
Lecture Notes in Computer Science > Component-Based Software Engineering > Verification Techniques > 163-179
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 491-495
Service Oriented Computing and Applications > 2014 > 8 > 4 > 299-322
Electronic Notes in Theoretical Computer Science > 2010 > 263 > Complete > 67-94