Research output per year
Research output per year
Search results
-
2013
Formal verification and validation of embedded systems: The UML-based MADES approach
Baresi, L., Blohm, G., Kolovos, D., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A. & Rossi, M., 12 Jun 2013, In: Software and Systems Modeling. 21 p.Research output: Contribution to journal › Article › peer-review
-
2011
An approach for model querying-by-example applied to multi-paradigm models
Radjenovic, A. & Paige, R. F., 1 Jan 2011, In: Electronic Communications of the EASST. 50Research output: Contribution to journal › Article › peer-review
-
2006
Architecture Description Languages for High Integrity Real-Time Systems
Radjenovic, A. & Paige, R., Mar 2006, In: IEEE Software. 23, 2, p. 71-79 8 p.Research output: Contribution to journal › Article › peer-review
-
Architecture description languages high-integrity real-time systems
Radjenovic, A. & Paige, R., 2006, In: IEEE Software. 23, 2, p. 71-+ 10 p.Research output: Contribution to journal › Article › peer-review