Вы здесь

Главная

временные сети

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

Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Applications and Theory of Petri Nets and Concurrency: Proc./34th International Conference, PETRI NETS 2013, Milan, Spain, June 2013
Causality-Based Testing in Time Petri Nets
Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013
Тестовые эквивалентности временных сетей Петри