Find me at research gate and google scholar. My ORCID is https://orcid.org/0000-0002-0179-1655.

Show all

2019

Kaleeswaran, Arut Prakash; Nordmann, Arne; ul Mehdi, Anees

Ŧowards Integrating Ontologies into Verification for Autonomous Đriving Inproceedings

Suárez-Figueroa, Mari Carmen; Cheng, Gong; Gentile, Anna Lisa; Guéret, Christophe; Keet, Maria C; Bernstein, Abraham (Ed.): ISWC Satellites, pp. 319–320, CEUR-WS.org, 2019.

Links | BibTeX | Schlagwörter: dblp