Maruyama, Newton
Résultats: Montrant 5 de 5 à l'page 1 de 1
<<< Début << Précédent 1 Suivant >> Fin >>>
Nom
Titre
Domaine
Document
Unité
Année
Model checking underwater vehicles control architectures: a formal specification...
Software architecture for real-time systems.
A refinement method for embedded software development: a based UML-RT and formal...
Modeling and control of a class of mobile multi-body systems.
Networked control systems.
<<< Début << Précédent 1 Suivant >> Fin >>>
Résultats: Montrant 5 de 5 à l'page 1 de 1
Copyright © 2013 Biblioteca Digital de Teses e Dissertações da USP. Tous droits réservés.