-
3
-
-
84911962381
-
-
Mil/sil tutorial.emmeskey." [Online]. Available
-
]" Mil/sil tutorial.emmeskey." [Online]. Available: http://www.emmeskay.com/presentation-files/Emmeskay MILSIL Tutorial.pdf
-
-
-
-
4
-
-
84911962438
-
-
Reuse of hardware independent test sequences across mil, sil and hil test scenarios." [Online]. Available
-
]" Reuse of hardware independent test sequences across mil, sil and hil test scenarios." [Online]. Available: http://www.testingexpo. com/europe/08txeu conf/pdf/day 1/01-14-toth.pdf
-
-
-
-
6
-
-
84911960138
-
-
APM." [Online]. Available
-
APM," Apm autopilot." [Online]. Available: http://3drobotics.com/apm/
-
Apm Autopilot
-
-
-
7
-
-
0009599298
-
Automatic construction of test sets: Theoretical approach
-
J. Barzdins and D. Bjorner, Eds. Springer Berlin Heidelberg [Online]. Available
-
A. Auzis, J. Barzdins, J. Bicevskis, K. Cerans, and A. Kalnins," Automatic construction of test sets: Theoretical approach," in Baltic Computer Science, ser. Lecture Notes in Computer Science, J. Barzdins and D. Bjorner, Eds., vol. 502. Springer Berlin Heidelberg, 1991, pp. 286-359. [Online]. Available: http://dx.doi.org/10.1007/BFb0019362
-
(1991)
Baltic Computer Science, Ser. Lecture Notes in Computer Science
, vol.502
, pp. 286-359
-
-
Auzis, A.1
Barzdins, J.2
Bicevskis, J.3
Cerans, K.4
Kalnins, A.5
-
8
-
-
80052355021
-
A simulation framework for coalition formation of unmanned aerial vehicles
-
A. Benini, A. Mancini, E. Frontoni, P. Zingaretti, and S. Longhi," A simulation framework for coalition formation of unmanned aerial vehicles," in Control Automation (MED), 2011 19th Mediterranean Conference on, 2011, pp. 406-411.
-
(2011)
Control Automation (MED 2011 19th Mediterranean Conference on
, pp. 406-411
-
-
Benini, A.1
Mancini, A.2
Frontoni, E.3
Zingaretti, P.4
Longhi, S.5
-
9
-
-
80052355021
-
A simulation framework for coalition formation of unmanned aerial vehicles
-
June
-
A. Benini, A. Mancini, E. Frontoni, P. Zingaretti, and S. Longhi," A simulation framework for coalition formation of unmanned aerial vehicles," in Control Automation (MED), 2011 19th Mediterranean Conference on, June 2011, pp. 406-411.
-
(2011)
Control Automation (MED 2011 19th Mediterranean Conference on
, pp. 406-411
-
-
Benini, A.1
Mancini, A.2
Frontoni, E.3
Zingaretti, P.4
Longhi, S.5
-
10
-
-
84855437595
-
A modular framework for fast prototyping of cooperative unmanned aerial vehicle
-
[Online]. Available
-
A. Benini, A. Mancini, R. Minutolo, S. Longhi, and M. Montanari," A modular framework for fast prototyping of cooperative unmanned aerial vehicle," Journal of Intelligent and Robotic Systems, vol. 65, no. 1-4, pp. 507-520, 2012. [Online]. Available: http://dx.doi.org/10.1007/s10846-011-9577-1
-
(2012)
Journal of Intelligent and Robotic Systems
, vol.65
, Issue.1-4
, pp. 507-520
-
-
Benini, A.1
Mancini, A.2
Minutolo, R.3
Longhi, S.4
Montanari, M.5
-
11
-
-
0018287029
-
Smotl: A system to construct samples for data processing program debugging
-
J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, and J. Miller, E.F.," Smotl: A system to construct samples for data processing program debugging," Software Engineering, IEEE Transactions on, vol. SE-5, no. 1, pp. 60-66, 1979.
-
(1979)
Software Engineering IEEE Transactions on
, vol.SE-5
, Issue.1
, pp. 60-66
-
-
Bicevskis, J.1
Borzovs, J.2
Straujums, U.3
Zarins, A.4
Miller, J.E.F.5
-
13
-
-
84890417115
-
-
in SAE Technical Paper
-
A. Ceruti, D. Valyou, A. Liverani, and P. Marzocca," An integrated software environment for uav missions support," in SAE Technical Paper, 2013.
-
(2013)
An Integrated Software Environment for Uav Missions Support
-
-
Ceruti, A.1
Valyou, D.2
Liverani, A.3
Marzocca, P.4
-
14
-
-
84904565097
-
Autonomous navigation, landing and recharge of a quadrotor using artificial vision
-
May
-
F. Cocchioni, A. Mancini, and S. Longhi," Autonomous navigation, landing and recharge of a quadrotor using artificial vision," in Unmanned Aircraft Systems (ICUAS), 2014 International Conference on, May 2014, pp. 418-429.
-
(2014)
Unmanned Aircraft Systems (ICUAS), 2014 International Conference on
, pp. 418-429
-
-
Cocchioni, F.1
Mancini, A.2
Longhi, S.3
-
15
-
-
84904582437
-
Unmanned ground and aerial vehicles in extended range indoor and outdoor missions
-
May
-
F. Cocchioni, V. Pierfelice, A. Benini, A. Mancini, E. Frontoni, P. Zingaretti, G. Ippoliti, and S. Longhi," Unmanned ground and aerial vehicles in extended range indoor and outdoor missions," in Unmanned Aircraft Systems (ICUAS), 2014 International Conference on, May 2014, pp. 374-382.
-
(2014)
Unmanned Aircraft Systems (ICUAS), 2014 International Conference on
, pp. 374-382
-
-
Cocchioni, F.1
Pierfelice, V.2
Benini, A.3
Mancini, A.4
Frontoni, E.5
Zingaretti, P.6
Ippoliti, G.7
Longhi, S.8
-
16
-
-
84864228343
-
Model-based testing of autonomous systems based on coloured petri nets
-
Feb
-
R. Lill and F. Saglietti," Model-based testing of autonomous systems based on coloured petri nets," in ARCS Workshops (ARCS), 2012, Feb 2012, pp. 1-5.
-
(2012)
ARCS Workshops (ARCS 2012
, pp. 1-5
-
-
Lill, R.1
Saglietti, F.2
-
17
-
-
50249099214
-
-
A. Mancini, F. Caponetti, A. Monteri, E. Frontoni, P. Zingaretti, and S. Longhi," Safe flying for an uav helicopter," 2007.
-
(2007)
Safe Flying for An Uav Helicopter
-
-
Mancini, A.1
Caponetti, F.2
Monteri, A.3
Frontoni, E.4
Zingaretti, P.5
Longhi, S.6
-
18
-
-
84868007424
-
Comprehensive simulation of quadrotor uavs using ros and gazebo
-
J. Meyer, A. Sendobry, S. Kohlbrecher, U. Klingauf, and O. Von Stryk," Comprehensive simulation of quadrotor uavs using ros and gazebo," in 3rd Int. Conf. On Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), 2012, pp. 400-412.
-
3rd Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR
, vol.2012
, pp. 400-412
-
-
Meyer, J.1
Sendobry, A.2
Kohlbrecher, S.3
Klingauf, U.4
Von Stryk, O.5
-
19
-
-
84911964372
-
-
Paparazzi." [Online]. Available
-
Paparazzi," Paparazzi autopilot." [Online]. Available: http://ppzuav.com/
-
Paparazzi Autopilot
-
-
-
20
-
-
72449142126
-
Uas flight simulation with hardwarein-the-loop testing and vision generation
-
Jan. 201O. [Online]. Available
-
J. Saunders and R. Beard," Uas flight simulation with hardwarein-the-loop testing and vision generation," J. Intell. Robotics Syst., vol. 57, no. 1-4, pp. 407-415, Jan. 201O. [Online]. Available: http://dx.doi.org/10.1007/s10846-009-9354-6
-
J. Intell. Robotics Syst
, vol.57
, Issue.1-4
, pp. 407-415
-
-
Saunders, J.1
Beard, R.2
-
21
-
-
84884527166
-
Model-based testing
-
IOS Press
-
M. Timmer, H. Brinksma, and M. Stoelinga," Model-based testing," in Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security. IOS Press, 2011, vol. 30, pp. 1-32.
-
(2011)
Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security
, vol.30
, pp. 1-32
-
-
Timmer, M.1
Brinksma, H.2
Stoelinga, M.3
|