( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.

, , , , и . ICECCS, стр. 43-52. IEEE Computer Society, (2016)

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.

Shailesh Kumar Singh

Rajneesh Kumar Singh

Sameer Kumar Singh

Harish Kumar Singh

Pawan Kumar Singh

 

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

Formalizing the Cardiac Pacemaker Resynchronization Therapy., , , и . HCI (17), том 9185 из Lecture Notes in Computer Science, стр. 374-386. Springer, (2015)The impact of loop unrolling on controller delay in high level synthesis., , и . DATE, стр. 391-396. EDA Consortium, San Jose, CA, USA, (2007)Critical systems development methodology using formal techniques., и . SoICT, стр. 3-12. ACM, (2012)Formal Ontology Driven Model Refactoring., , и . ICECCS, стр. 136-145. IEEE Computer Society, (2018)Medical Protocol Diagnosis Using Formal Methods., и . FHIES, том 7151 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2011)Real-Time Animation for Formal Specification., и . CSDM, стр. 49-60. Springer, (2010)Reliability and Safety of Critical Device Software Systems. (Fiabilité et sûreté des systèmes informatiques critiques).. Henri Poincaré University, Nancy, France, (2011)Stateflow to Tabular Expressions., , , и . SoICT, стр. 312-319. ACM, (2015)An Integrated Framework for the Formal Analysis of Critical Interactive Systems., , , , и . APSEC, стр. 139-148. IEEE, (2020)Empowering the Event-B Method Using External Theories., , , , , , и . IFM, том 13274 из Lecture Notes in Computer Science, стр. 18-35. Springer, (2022)