Login / Signup
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.
Giuseppe Del Castillo
Published in:
TACAS (2001)
Keyphrases
</>
computer aided
image analysis
state machine
model validation
design tools
database
machine learning
computer aided design
state machines