Book Chapter10.1007/978-3-319-09099-3_8
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Frank Hilken,Philipp Niemann,Martin Gogolla,Robert Wille-2014-01-01-Lecture notes in computer science
21
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Computer scienceObject Constraint LanguageUnified Modeling LanguageProgramming languageApplications of UMLWorkflowUML toolProcess (computing)
Chat
Click to start Chat