A verifiable multi-agent framework for dependable and adaptable avionics
Crossref DOI link: https://doi.org/10.1007/s12046-020-01538-4
Published Online: 2021-02-04
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kashi Nagaraj, Rajanikanth
D’Souza, Meenakshi
Text and Data Mining valid from 2021-02-04
Version of Record valid from 2021-02-04
Article History
Received: 18 March 2020
Revised: 26 October 2020
Accepted: 4 November 2020
First Online: 4 February 2021