Search results for: Peter T. Breuer
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 91-107
Lecture Notes in Computer Science > Formal Methods and Software Engineering > System Modeling and Checking > 599-619
Lecture Notes in Computer Science > Computational Science – ICCS 2006 > Workshop on Computational Science in Software Engineering (CSSE’6) > 765-772
Lecture Notes in Computer Science > Smart Card Programming and Security > Contributed Papers > 34-42
Lecture Notes in Computer Science > Prospects for Hardware Foundations > II Hardware And Dynamical Systems > 309-332
Lecture Notes in Computer Science > Advances in Web Intelligence > Special Session: User Behavior > 339-348
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2004 > Static Analysis > 52-64
Lecture Notes in Computer Science > Reliable Software Technologies – Ada-Europe 2006 > Static Analysis > 56-70
Procedia Computer Science > 2016 > 83 > C > 1282-1287
Science of Computer Programming > 2014 > 91 > Part B > 161-187
Innovations in Systems and Software Engineering > 2010 > 6 > 4 > 255-268
Innovations in Systems and Software Engineering > 2008 > 4 > 1 > 87-105
Innovations in Systems and Software Engineering > 2006 > 2 > 3-4 > 147-163