Вы здесь

Главная

логика реального времени

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

Checking Temporal Properties of Discrete, Timed, and Continuous Behaviors
Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009