Разное

 

Интерпретатор ASM

Симулятор Timed ASM

Д.Ю.Бугайченко. Разработка и реализация методов формально-логической спецификации самонастраивающихся мультиагентных систем с временными ограничениями. Материалы диссертации.