Formal Verification Techniques: A Comparative Analysis for Critical System Design

von Karmakar, Rahul
Veröffentlicht in Intelligent systems design and applications ; Set 1 (2022)

A Framework for Component Mapping Between Event-B and Python

von Karmakar, Rahul
Veröffentlicht in RACCCS (4. : 2021 : Ajmer) Ambient communications and computer systems (2022)

Where warriors waltz : festivals of Nagaland

Veröffentlicht 2008

Fables from the misty mountains : folklore of the Nagas

von Karmakar, Rahul
Veröffentlicht 2009

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design

von Guha, Susmita
Veröffentlicht in International Conference on Intelligent Systems Design and Applications (20. : 2020 : Online) Intelligent systems design and applications ; set 1 (2021)