49 citations · 50 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CY2019
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Ziyad Elbanna, Ilya Afanasyev, Luiz J. P. Araujo +7
Electric Autonomous Vehicles (EAVs) have gained increasing attention of industry, governments and scientific communities concerned about issues related to classic transportation in…
cs.SE2019
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Mansur Khazeev, Manuel Mazzara, Daniel De Carvalho +1
Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can b…