Вы здесь

Главная

достижимость

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

A Blocking-based Approach to Protocol Validation
Advances in Spatial and Temporal Databases: Proc./14th International Symposium, SSTD 2015, Hong Kong, China, August 2015
A General Model for Reachability Testing of Concurrent Programs
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
A Symbolic State Space Representation
A Type System for Reachability and Acyclicity
Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012
On Interleaving in Timed Automata
Reachability Problems: Proc./10th International Workshop, RP 2016, Aalborg, Denmark, September 2016
Reachability Problems: Proc./3rd International Workshop, RP 2009, Palaiseau, France, September 2009
Reachability Problems: Proc./4th International Workshop, RP 2010, Brno, Czech Republic, August 2010
Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Reachability Problems: Proc./9th International Workshop, RP 2015, Warsaw, Poland, September 2015
Временные сети Петри без перекрытий интервалов срабатывания
Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов
Графовое представление системы продукционных правил