Sign in
Neil Cameron
Publication Activity (10 Years)
Years Active: 2008-2014
Publications (10 Years): 0
Top Topics
Automated Verification
Ground Vehicles
Alternating Time Temporal Logic
Model Checking
Top Venues
J. Aerosp. Inf. Syst.
Infotech@Aerospace
</>
Publications
</>
Matthew P. Webster
,
Neil Cameron
,
Michael Fisher
,
Mike Jump
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.
J. Aerosp. Inf. Syst.
11 (5) (2014)
Matt Webster
,
Neil Cameron
,
Michael Jump
,
Michael Fisher
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.
Infotech@Aerospace
(2012)
Matthew P. Webster
,
Michael Fisher
,
Neil Cameron
,
Mike Jump
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.
SAFECOMP
(2011)
Andreas Komninos
,
Neil Cameron
,
Colin Feron
,
Richard Allan
,
Alistair Lindsay
AmbientDJ: Enabling Interaction between People and Socially Aware Environments.
MIRW
(2008)