Вы здесь

Главная

asm

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

Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000
An ASM Dynamic Semantics for Standard ML
Generic Facilities in Object-Oriented ASMs
Investigating Java Concurrency Using Abstract State Machines
Model Based Formal Verification of Distributed Production Control Systems
Modeling the Dynamics of UML State Machines
Objects + Views = Components?
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
XASM - An Extensible, Component-Based Abstract State Machines Language