Using Event-B for critical device software systems

von Singh, Neeraj Kumar
Veröffentlicht 2013

Neem : the village pharmacy

von Singh, Neeraj Pratap
Veröffentlicht 2009

Human capital and change management in emerging markets

Veröffentlicht 2017

Consumer multihoming predisposition on food platforms : Does gender matter?

von Singh, Neeraj
Veröffentlicht in Journal of retailing and consumer services (2022)

Lamb Wave Approach for the Structural Health Monitoring

von Singh, Neeraj
Veröffentlicht in ICSBMC (2021 : Online) Sustainable building materials and construction (2022)

Green technologies for industrial waste remediation

Veröffentlicht 2023

Microstructural and Microhardness Analysis of Nickel-Based Ceramic Composite Coating on AISI 304 Stainless Steel by TIG Coating Method

von Kumar, Anjani
Veröffentlicht in International Conference on Mechanical and Energy Technology (2019 : Greater Noida) Proceedings of International Conference in Mechanical and Energy Technology (2020)

Quantum computing: a shift from bits to qubits

Veröffentlicht 2023

Quantum computing: a shift from bits to qubits

Veröffentlicht 2023

Model and data engineering : 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019 : proceedings

Veröffentlicht 2019

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

von Dupont, Guillaume
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

von Dupont, Guillaume
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Event-B Refinement for Continuous Behaviours Approximation

von Dupont, Guillaume
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Potential of India for Ethanol as a Transportation Fuel

von Pandey, Vivek
Veröffentlicht in International Conference on "Innovative Trends in Applied Physical, Chemical, Mathematical Sciences and Emerging Energy Technology for Sustainable Development" (2014 : Delhi) Emerging energy technology - sustainable approach (2014)

Reachability Analysis and Simulation for Hybridised Event-B Models

von Aït-Ameur, Yamine
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Standard Conformance-by-Construction with Event-B

von Mendil, Ismail
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

von Mendil, Ismail
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

von Dupont, Guillaume
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

von Singh, Neeraj Kumar
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Cyber Intrusion Detection in Smart Grid Using KPCA and Novel Trust Method

von Singh, Neeraj Kumar
Veröffentlicht in ICETSGAI4.0 (2019 : Ranchi) Advances in smart grid automation and industry 4.0 (2021)