Search results for: Stefan Kowalewski
Concurrency and Computation: Practice and Experience > 29 > 22 > n/a - n/a
Lecture Notes in Computer Science > Hybrid Systems IV > 361-377
Lecture Notes in Computer Science > Model Driven Architecture - Foundations and Applications > Applications > 253-264
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Poster Session 2 > 270-275
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 2. ASM Papers > 112-124
Lecture Notes in Computer Science > Intelligent Robotics and Applications > Robot Control Systems > 297-306
Lecture Notes in Control and Information Sciences > Modelling, Analysis, and Design of Hybrid Systems > Analysis and Verification > 153-171
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 225-240
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 21-37
Lecture Notes in Computer Science > Balancing Agility and Formalism in Software Engineering > Experiments > 157-168