Miguel J Hornos

2PUBLICATIONS
3CO-AUTHORS
Formal methods for softwareSatisfiability and optimisation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Jan 21, 2023
Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review.

Gleiston Guerrero-Ulloa, Carlos Rodríguez-Domínguez, Miguel J Hornos

|Jul 25, 2022
Intelligent environments with entangled quality properties.

Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J Hornos

Pageof 1