Amanote Research
Register
Sign In
On Detecting Deadlocks in Large UML Models
doi 10.1007/1-4020-8149-9_2
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Michael Kersten
Wolfgang Nebel
Publisher
Kluwer Academic Publishers
Related search
Regression Test Selection Based on UML Models
Reasoning on UML Data-Centric Business Process Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental UML for Agile Development: Embedding UML Class Models in Source Code
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Executing and Debugging UML Models
Preservation of Class Invariants in Refactoring UML Models
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Executing AADL Models With UML/MARTE
XMI-based Transformation From UML Models to LQN Performance Models
Towards Vertical Impact Analysis of UML Models
