Search for persons
X
?
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT ,
3
Symbolic-numeric methods in reasoning about the design of f..:
, In:
?
Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 02 ,
4
An Integrated Multi-agent Model for Modelling Hazards withi..:
, In:
?
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems ,
5
An overview of airborne time-spacing research in the JADE p..:
, In:
?
Computational Models, Software Engineering, and Advanced Technologies in Air Transportation ,
6
A Case Study of Advanced Airborne Technology Impacting Air ..:
, In:
?
Analysis and Design of Hybrid Systems 2006 ,
7