Using Event-B for critical device software systems

von Singh, Neeraj Kumar
Veröffentlicht 2013

Human capital and change management in emerging markets

Veröffentlicht 2017

Green technologies for industrial waste remediation

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

Quantum computing: a shift from bits to qubits

Veröffentlicht 2023

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)

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)

Standard Conformance-by-Construction with Event-B

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

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)

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)