Вы здесь

Главная

недетерминированный

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

Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization
A Taxonomy of Forgetting Automata
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Comparing Semantics Under Strong Timing of Petri Nets
Filter Models for a Parallel and Non Deterministic -Calculus
Functional and Constraint Logoc Programming: Proc./20th International Workshop, WFLP 2011, Odense. Denmark, July 2011
Generic Forward and Backward Simulations
Improving Backward Execution in the Andorra Family of Languages
Investigating Nondeterministic Processes
Model Checking Durational Probabilistic Systems (Extended Abstract)
On the Amount of Nondeterminism and the Power of Verifying
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Testing Software and Systems: Proc./28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 2016
Towards a "Good" Functional and Executable Behavior Model
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies
Алгебра AFLP : исчисление переменных недетерминированных параллельных процессов
Возможности вероятностных и недетерминированных машин по представлению языков в реальное время
"Истинно параллельная" и недетерминированная семантика дискоетно-временных сетей Петри
Компаративная трассовая семантика временных сетей Петри
К построению проверяю их тестов для недетерминированных автоматов с тайм-аутами
К синтезу условных тестов для недетерминированных автоматов
Локально-недетерминированный синтез объектного кода по реляционным таблицам решений
Метод схем программ для пропозициональных программных логик за 30 лет
Моделирование распределенных недерминированных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Об уточнении класса задач, решаемых недетерминированной машиной Тьюринга
О распространении вероятностей в нечетких байесовских сетях с недетерминированными состояниями
О сложности проверки су ествования установочных последовательностей для недетерминированных автоматов
Полное тестирование с открытым состоянием ограниченно недетерминированных систем
Программные логики и их применение к исследованию свойств процессов недетерминированных программ
Процедура "снизу-вверх" как недетерминированный параллельный процесс
Схемы недетерминированных программ и их отношение к динамической логике
Схемы недетерминированных программ и их применение к динамической логике
Тождественные преобразования в алгебрах недетерминированных алгоритмов
Эвристики в программировании недетерминированных игр