Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)

Author： Chhaya Bharvi   Jafer Shafagh   Durak Umut  

Publisher： MDPI

E-ISSN： 2226-4310|5|1|10-10

ISSN： 2226-4310

Source： Aerospace, Vol.5, Iss.1, 2018-01, pp. : 10-10

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Sensor-Generated Time Series Events: A Definition Language

By Anguera Aurea   Lara Juan A.   Lizcano David   Martínez Maria Aurora   Pazos Juan  

Sensors, Vol. 12, Iss. 9, 2012-08 ,pp. : 11811-11852

MDPI

Access to resources Recommend Favorite

Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation

By Khan Shazada Muhammad Umair   He Wenlong  

Applied Sciences, Vol. 8, Iss. 2, 2018-01 ,pp. : 221-221

MDPI

Access to resources Recommend Favorite

Special Issue: Aviation Alternative Fuels

By Zhang Yang  

Aerospace, Vol. 1, Iss. 3, 2014-12 ,pp. : 100-100

MDPI

Access to resources Recommend Favorite

Video-Based Fingerprint Verification

By Qin Wei   Yin Yilong   Liu Lili  

Sensors, Vol. 13, Iss. 9, 2013-09 ,pp. : 11660-11686

MDPI

Access to resources Recommend Favorite

Rao and Wald Tests for Nonhomogeneous Scenarios

By Hao Chengpeng   Orlando Danilo   Hou Chaohuan  

Sensors, Vol. 12, Iss. 4, 2012-04 ,pp. : 4730-4736

MDPI

Access to resources Recommend Favorite