The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software
The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has