Search results
Lecture Notes in Computer Science > Component-Based Software Engineering > Component Integration: Patterns and Profiling > 69-86
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 133-152
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 106-121
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 168-188