Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ana Garis
Specifying UML Protocol State Machines in Alloy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modeling the Dynamics of UML State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DEONTIC PROTOCOL MODELLING - Modelling Business Rules With State Machines
TURTLES AS STATE MACHINES - Agent Programming in NetLogo Using State Machines
Finite State Machines
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
On State-Behavior Machines
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
Modeling Legislation by Using UML State Machine Diagrams
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
