Maruyama, Newton
Résultats: Montrant 10 de 11 à l'page 1 de 2
Nom
Titre
Domaine
Document
Unité
Année
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
Résultats: Montrant 10 de 11 à l'page 1 de 2
Copyright © 2023 Biblioteca Digital de Teses e Dissertações da USP. Tous droits réservés.