A Caltech Library Service

Items where Person is "Vernekar-S"

Group by: Date | Item Type | First Author | No Grouping

Jump to: A

Number of items: 2.

A

Arichega, Nikos and Dathathri, Sumanth and Vernekar, Shashank et al. (2017) Fast Automatic Verification of Large-Scale Systems with Lookup Tables. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20200131-144053728

Aréchiga, Nikos and Dathathri, Sumanth and Vernekar, Shashank et al. (2017) Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles. Association for Computing Machinery , New York, NY, pp. 11-18. ISBN 978-1-4503-4976-5. https://resolver.caltech.edu/CaltechAUTHORS:20170313-163356916

This list was generated on Sat Feb 22 02:50:36 2020 PST.

CaltechAUTHORS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.