Search
Journal of Aerospace Engineering
EISSN: 1943-5525
ISSN: 0893-1321
Priority: 6
Publisher: American Society of Civil Engineers
Description: The Journal of Aerospace Engineering promotes the implementation and development of space and aerospace technologies and their transfer to other civil engineering applications. Topics of interest include aerodynamics, computational fluid dynamics, wi More ...
Now showing items 1-1 of 1
Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter
Publisher: American Society of Civil Engineers
Abstract: Formal verification has played an important role in demonstrating correctness of safety-critical systems. Small-scale unmanned helicopters have been increasingly developed for various purposes such as scientific exploration ...