Книги автора Nicolas Navet

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their …