2015 International Conference on Advances in Computer Engineering and Applications | Institute of Engineering & Technology, Lucknow

Formal Specifications of Asynchronous checkpointing using Event B

Read more about Formal Specifications of Asynchronous checkpointing using Event B

Subscribe to 2015 International Conference on Advances in Computer Engineering and Applications

Council/Bodies

Co-curriculars

IET in News

आईईटी को मिला स्वदेशी परम शावक डीएल कंप्यूटर : Amar Ujala
IET student's startup idea wins 1.5L award : Times of India
Deep learning, AI to help patients with brain injuries : Times of India
IET sets up centers for green hydrogen & electric vehicles : Times of India
'सात फेरे' स्टार्टअप से शादी की सब बुकिग एक ही जगह : Hindustan Times

Contact Us

Institute of Engineering & Technology,
Sitapur Road,Lucknow
Uttar Pradesh
India
Pin Code : 226021

Web: https://www.ietlucknow.ac.in