Buscar
Mostrando ítems 1-10 de 24
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)
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)
On the definition of quantum programming modules
(MDPI, 2021-06-23)
Constructs for prototyping information systems using object petri nets
(Institute Electrical and Electronics Engineers., 1997-10)
A goal-oriented approach for safety requirements specification
(IEEE Computer Society, 2006-03)
Redes sociales