Surinder Sood, Avinash Malik, Partha S. Roop. A novel approach to Real-time contract based reasoning for Hybrid Systems. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-11, IEEE, 2022. [doi]
@inproceedings{SoodMR22a, title = {A novel approach to Real-time contract based reasoning for Hybrid Systems}, author = {Surinder Sood and Avinash Malik and Partha S. Roop}, year = {2022}, doi = {10.1109/MEMOCODE57689.2022.9954599}, url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954599}, researchr = {https://researchr.org/publication/SoodMR22a}, cites = {0}, citedby = {0}, pages = {1-11}, booktitle = {20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022}, publisher = {IEEE}, isbn = {979-8-3503-3190-5}, }