Volume 63, Issue 1 | Annals of Mathematics and Artificial Intelligence

Search all Annals of Mathematics and Artificial Intelligence articles

Volume 63, Issue 1

September 2011

Special Issue: Formal Methods in Aerospace

Issue Editors:

Manuela Bujorianu,
Michael Fisher,
Corina Pasareanu

4 articles in this issue

Preface
Manuela Bujorianu
Michael Fisher
Corina Pasareanu
EditorialNotes 12 January 2012 Pages: 1 - 3
Formal testing for separation assurance
Dimitra Giannakopoulou
David H. Bushnell
Karen Heere
OriginalPaper 18 February 2011 Pages: 5 - 30
Kripke modelling and verification of temporal specifications of a multiple UAV system
Gopinadh Sirigineedi
Antonios Tsourdos
Rafał Żbikowski
OriginalPaper 19 November 2011 Pages: 31 - 52
Using formal methods with SysML in aerospace design and engineering
Henson Graves
Yvonne Bijan
OriginalPaper 15 October 2011 Pages: 53 - 102