Login / Signup
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications.
Dipankar Das
Rajeev Kumar
P. P. Chakrabarti
Published in:
APSEC (2006)
Keyphrases
</>
real time
metamodel
class diagrams
software engineering
probabilistic model
uml models
formal methods
embedded systems
computational models
statistical models
model checking
conceptual models
conceptual modeling
business process models
class diagram
process model
vision system
uml activity diagrams