受强制性开放获取政策约束的文章 - Maryam Kamali了解详情
可在其他位置公开访问的文章：6 篇
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Modular verification of vehicle platooning with respect to decisions, space and time
M Kamali, S Linker, M Fisher
Formal Techniques for Safety-Critical Systems: 6th International Workshop …, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
强制性开放获取政策： Australian Research Council, Academy of Finland
Topology-based mobility models for wireless networks
A Fehnker, P Höfner, M Kamali, V Mehta
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
强制性开放获取政策： Australian Research Council
Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking
P Hoefner, M Kamali
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
强制性开放获取政策： Australian Research Council
Agent-based autonomous systems and abstraction engines: Theory meets practice
LA Dennis, JM Aitken, J Collenette, E Cucco, M Kamali, O McAree, ...
Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016 …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, UK Science and …
出版信息和资助信息由计算机程序自动确定