External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles

Ian i. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos De Brito. A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. In Antonio Cerone, Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Volume 10729 of Lecture Notes in Computer Science, pages 406-422, Springer, 2017. [doi]

Authors

Ian i. Mason

This author has not been identified. Look up 'Ian i. Mason' in Google

Vivek Nigam

This author has not been identified. Look up 'Vivek Nigam' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google

Alisson Vasconcelos De Brito

This author has not been identified. Look up 'Alisson Vasconcelos De Brito' in Google
runs on