Buscar
Mostrando ítems 1-10 de 49
Determination of the number of shots for Grover’s search algorithm
(SpringerOpen, 2023-11-08)
A graph-based approach for modelling quantum circuits
(MDPI, 2023-10-28)
An Architectural Framework for Modeling Teleoperated service robots
(Cambridge University Press, 2006)
Experiences developing safe and fault-tolerant tele-operated service robots. A case study in shipyards
(InTech Education and Publishing, 2008-08)
A family of experiments to evaluate the understandability of TRiStar and i* for modeling Teleo-Reactive systems
(The Journal of Systems & Software, 2015-12-31)
A framework for developing homeautomation systems: from requirements to code
(Journal of systems and software, 2011-01)
On the definition of quantum programming modules
(MDPI, 2021-06-23)
Reúso efectivo de modelos domóticos a través de requisitos genéricos
(Universidad Politécnica de Cartagena, 2014-06)
Formalización de transformaciones de refinamiento de componentes
(Universidad Politécnica de Cartagena, 2011-05-27)
Redes sociales