Вы здесь

Главная

система переходов

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

Domain-Specific transition systems and their application to a formal Definition of a model programming language
From Event-Oriented Models to Transition Systems
Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007
Theoretical Aspects of Computing - ICTAC 2009: Proc./6th International Colloquium. Kuala Lumpur, Malaysia, August 2009
Transition Systems of Elementary Net Systems with Localities
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем
Теоретико-категорные исследования временных систем переходов с независимостью
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем