Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems
Rodriguez-Fortiz, M.J., Parets-Llorca, J.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Providing adaptations for Special Education Mobile Learning
Rodríguez-Fórtiz, M.J., Fernández-López, A., Ruiz-López, T., Rodríguez-Domínguez, C., Cabrera- Cuevas, M., Rodríguez-Almendros, M.L.
Published in EAI Endorsed Transactions on Future Intelligent Educational Environments (09.09.2014)
Published in EAI Endorsed Transactions on Future Intelligent Educational Environments (09.09.2014)
Get full text
Journal Article