11 search results - page 3 / 3 » Model-Driven Development of Real-Time Systems with UML 2.0 a... |
RTAS
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...