Using Event B for Critical Device Software Systems

By Neeraj Kumar Singh

Industrial System Engineering for Drones

By Neeraj Kumar Singh, Porselvan Muthukrishnan, Satyanarayana Sanpini

System on Chip Interfaces for Low Power Design

By Neeraj Kumar Singh, Sanjeeb Mishra, Rousseau Vijayakrishnan

System on Chip Interfaces for Low Power Design

By Vijayakrishnan Rousseau, Neeraj Kumar Singh, Sanjeeb Mishra

Artificial Intelligence and Machine Learning for EDGE Computing

By Parul Verma, Neeraj Kumar Singh, Sunil Kumar Khatri, Rajiv Pandey

Artificial Intelligence and Machine Learning for EDGE Computing

By Parul Verma, Neeraj Kumar Singh, Sunil Kumar Khatri, Rajiv Pandey

Using EventB for Critical Device Software Systems

By

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous sa...

Using Event B for Critical Device Software Systems

By Neeraj Kumar Singh

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous sa...

Using Event B for Critical Device Software Systems

By Neeraj Kumar Singh

Essential Computer Science

By Neeraj Kumar Singh, Paul D. Crutcher, Peter Tiegs