Login / Signup
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
Manuel I. Capel
Luis E. Mendoza Morales
Kawtar Benghazi Akhlaki
Juan Antonio Holgado Terriza
Published in:
JISBD (2006)
Keyphrases
</>
real time systems
computational models
software development
process model
embedded real time systems
real time
database management systems
metamodel
uml models
knowledge representation
object oriented
software engineering
constraint satisfaction problems
embedded systems
formal methods