Maruyama, Newton
Results: Displaying 10 of 15 on page 1 of 2
Name
Title
Area
Document
Colleges
Year
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
Results: Displaying 10 of 15 on page 1 of 2