The following pages link to Tiziana Margaria (Q1856184):
Displaying 13 items.
- The electronic tool integration platform: Concepts and design (Q1856185) (← links)
- Integrating tools in the ETI platform (Q1856187) (← links)
- Interacting with ETI: A user session (Q1856189) (← links)
- Integrating printed and online information. (Q1865942) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- Incremental requirement specification for evolving systems (Q2743709) (← links)
- (Q2764125) (← links)
- ViDoC - Visual Design of Optimizing Compilers (Q3593072) (← links)
- (Q4531767) (← links)
- (Q4738340) (← links)
- (Q4738487) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703788) (← links)
- Objects, Agents, and Features (Q5713981) (← links)