( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Path-based Equivalence Checking Method for Petri Net based Models of Programs.

, , , и . ICSOFT-EA, стр. 319-329. SciTePress, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Saurav Bandyopadhyay

Mahuya Bandyopadhyay

Soumyadip Choudhury

Mainak Bandyopadhyay

Prosanta Kumar Bandyopadhyay

 

Другие публикации лиц с тем же именем

Equivalence Checking in Embedded Systems Design Verification using PRES+ model. CoRR, (2010)A Path Construction Algorithm for Translation Validation Using PRES+ Models., , , , и . Parallel Process. Lett., 26 (2): 1650010:1-1650010:18 (2016)A Report on the First International Workshop on Program Equivalence (PEQ 2022).. ISEC, стр. 39:1-39:2. ACM, (2022)SamaTulyata: An Efficient Path Based Equivalence Checking Tool., , , и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 109-116. Springer, (2017)Implementing an Efficient Path Based Equivalence Checker for Parallel Programs., и . SEM4HPC@HPDC, стр. 3-10. ACM, (2016)A Report on the Second International Workshop on Software Engineering for Artificial Intelligence (SE4AI 2021)., и . ISEC, стр. 28:1-28:2. ACM, (2021)Validating Extended Feature Model Configurations using Petri Nets., , и . PNSE@Petri Nets, том 2907 из CEUR Workshop Proceedings, стр. 255-256. CEUR-WS.org, (2021)SamaTulyataOne: A Path Based Equivalence Checker., , и . ISEC, стр. 21:1-21:5. ACM, (2019)Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs., , и . ICSE (2), стр. 827-828. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Validating SPARK: High Level Synthesis Compiler., , и . ISVLSI, стр. 195-198. IEEE Computer Society, (2015)