Вы здесь

Главная

машина состояний

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

Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract State Machines Capture Parallel Algorithms
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
Fault Propagation by Evaluation Solving
Formal Composition of Distributed Scenarios
Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006
Fundamental Approaches to Software Engineering: Proc./9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Generating Finite State Machines from Abstract State Machines
Semantic Essence of AsmL
Sequential Abstract State Machines Capture Sequential Algorithms
Simulator for Real-Time Abstract State Machines
State Machine Specification with Reusability