Вы здесь

Главная

раскрашенный

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

Algorithms and Complexity: Proc./7th International Conference, CIAC 2010, Rome, Italy, May 2010
Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Application and Theory of Petri Nets: Proc./33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 2012
Applications and Theory of Petri Nets and Concurrency: Proc./34th International Conference, PETRI NETS 2013, Milan, Spain, June 2013
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
Computational Color Imaging:Proc./International Workshop, CCIW 2019, Chiba, Japan, March 2019
Model-Based Methodologies for Pervasive and Embedded Software: Revised Papers/8th International Workshop, MOMPES 2012, Essen, Germany, September 2012
Semantics and Algebraic Specification: Essays Dedicated to Peter D.Mosses on the Occasion of his 60th Birthday
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks
STOP - Specification Technique of Operational Processes
Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010
Towards Verification od SDL specified distributed systems: coloured Petri nets approach
Towards Verification of Estelle-specified Communication Protocols: Coloured Petri Net Approach
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies
Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency VI
Unfoldings of Timed Coloured Petri Nets
Verification of UCM-Specifications of Distributed Systems Using Coloured Petri Nets
WALCOM: Algorithms and Computation: Proc./4th International Worcshop, WALCOM 2010, Dhaka, Bangladesh, February 2010
Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри
Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня
Верификация раскрашенных сетей Петри методом проверки моделей
Верификация раскрашенных сетей Петри методом проверки моделей
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри
Моделирование Estelle-спецификаций посредством раскрашенных сетей Петри
Моделирование ESTELLE-спецификаций распределенных систем с помо ью раскрашенных сетей Петри
Моделирование динамических конструкций языка Estelle посредством раскрашенных сетей Петри
Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помо и конечных автоматов и раскрашенных сетей Петри
Моделирование спецификаций языка SDL с помо ью раскрашенных сетей Петри
Обнаружение взаимодействия функциональностей в телефонных сетях с помо ью раскрашенных сетей Петри
Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование
Разверстки раскрашенных сетей Петри со временем
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена