Neeraj Kumar Singh

From MaRDI portal
Person:2115897

Available identifiers

zbMath Open singh.neeraj-kumarMaRDI QIDQ2115897

List of research outcomes





PublicationDate of PublicationType
A complete fragment of LTL(EB)2024-10-30Paper
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B2023-03-10Paper
Empowering the Event-B method using external theories2022-08-19Paper
Reachability analysis and simulation for hybridised Event-B models2022-08-19Paper
Event-B refinement for continuous behaviours approximation2022-06-22Paper
Towards leveraging domain knowledge in state-based formal methods2022-03-22Paper

Research outcomes over time

This page was built for person: Neeraj Kumar Singh

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2115897&oldid=6576008"
Powered by MediaWiki