Проверка моделей: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
AKA MBG (обсуждение | вклад) →Инструменты: стилевые правки |
|||
Строка 63:
* [http://www.osp.ru/os/2003/12/183691/ Верификация программ с помощью моделей] // «Открытые системы», № 12, 2003
* Robert B. France [http://www.cs.colostate.edu/~france/CS614/Slides/ConcurrentSystems1.pdf Modeling and Analyzing Concurrent Systems]
* Миронов А. М. [http://intsys.msu.ru/staff/mironov/
[[Категория:Математическая логика]]
| |||