ask others

Ali Khalili

◀ ▶ joint publications with Shashank Pathak

> Home > Persons > Ali Khalili
> Home > Persons > Shashank Pathak

Publications

2014
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS 2014: 1683-1700

maintained by

, founded at