Maruyama, Newton
Resultados: Listando 10 de 11 en la página 1 de 2
Nombre
Título
Área
Documento
Facultad
Año
Formal specification and verification of requirements for air traffic systems
Model checking underwater vehicles control architectures: a formal specification...
Stochastic sensor fusion approach for geographic mapping using UAVs
Modeling and formal verification method applied to air traffic systems
Networked control systems: development of application for unmanned underwater ve...
Maritime navigational assistance by visual augmentation
Software architecture for real-time systems
A refinement method for embedded software development: a based UML-RT and formal...
Motion control architecture for a wheeled mobile robot to energy optimization
Modeling and control of a class of mobile multi-body systems
Resultados: Listando 10 de 11 en la página 1 de 2
Copyright © 2023 Biblioteca Digital de Teses e Dissertações da USP. Todos los derechos reservados.