Browsing by Department Instituto de Investigación en Informática, Universidad de Castilla-La Mancha
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 19-Oct-2021 | Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods | Bouhamed, Mohammed Mounir ; Díaz, Gregorio ; Chaoui, Allaoua ; Kamel, Oussama ; Nouara, Redouane |
| 1-Sep-2021 | SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach | Kamel, Oussama ; Chaoui, Allaoua ; Díaz, Gregorio ; Gharzouli, Mohamed |
Built with DSpace-CRIS -
Extension maintained and optimized by
