Modular Deductive Verification of Sampled-data Systems
| Title | Modular Deductive Verification of Sampled-data Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Ricketts, Daniel, Malecha, Gregory, Lerner, Sorin |
| Conference Name | Proceedings of the 13th International Conference on Embedded Software |
| Publisher | ACM |
| Conference Location | Pittsburgh, Pennsylvania |
| ISBN Number | 978-1-4503-4485-2 |
| Keywords | 1544757 |
| URL | http://doi.acm.org/10.1145/2968478.2968495 |
| DOI | 10.1145/2968478.2968495 |
| Citation Key | veridrone:EMSOFT |