Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Abstract State Machines 2003
Home
Publications
Abstract State Machines 2003
Abstract State Machines 2003
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
14 March 2003
book
Published by
Springer Nature
https://doi.org/10.1007/3-540-36498-6
Abstract
No abstract available
Keywords
JAVA
SPIN
UML
UNIFIED MODELING LANGUAGE (UML)
ABSTRACT STATE MACHINES
CONCURRENCY
FORMAL METHODS
FORMAL SPECIFICATION
FORMAL VERIFICATION
MODELING
SOFTWARE DEVELOPMENT
SYSTEMS ANALYSIS
SYSTEMS DESIGN
SYSTEMS MODELING
VERIFICATION
Cited by 17 articles