Вы здесь

Главная

провайдер

Связанные издания:

Checking Safety Properties Using Compositional Reachability Analysis
Composition and Refinement of Discrete Real-Time Systems
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Theoretical and Practical Aspects of SPIN Model Checking: Proc./5th and 6th Intern. SPIN Workshops, Trento, Italy, July 1999; Toulouse, France, September 1999
Using Model Checking to Generate Tests from Requirements Specifications
Интернет: как это работает. Часть 2. Варианты доступа в Интернет
Качество сервиса в мультисервисных сетях
Русский Интернет - проблемы и решения