Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Iulian Ober
Validating Timed UML Models by Simulation and Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Validating UML Simulation Models With Model-Level Unit Tests
Verifying and Validating Simulation Models
Verification and Validation of Simulation Models
European Journal of Operational Research
Information Systems
Simulation
Management Science
Management
Computer Science
Modeling
Operations Research
Validation and Verification of Simulation Models
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Verification of Timed Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling and Verification of Timed Interaction and Migration
