Open AccessRequirements of an Integrated Formal Method for Intelligent Swarms
Author(s) -
Mike Hinchey,
James L. Rash,
Christopher Rouff,
Walt Truszkowski,
A. Vanderbilt
Publication year - 2012
Publication title -
formal methods for industrial critical systems
Language(s) - English
Resource type - Book series
DOI - 10.1002/9781118459898.ch3
Subject(s) - formal methods , computer science , software engineering , systems engineering , engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom