Thai Son Hoang

Available identifiers

zbMath Open hoang.thai-sonMaRDI QIDQ333312

List of research outcomes

Publication	Date of Publication	Type
Formal language semantics for triggered enable statecharts with a run-to-completion scheduling	2024-09-13	Paper
Foundations for using linear temporal logic in Event-B refinement	2016-10-28	Paper
Abstractions of non-interference security: probabilistic versus possibilistic	2015-03-25	Paper
Security invariants in discrete transition systems	2013-03-22	Paper
Developing topology discovery in Event-B	2009-12-11	Paper
Qualitative Probabilistic Modelling in Event-B	2009-03-06	Paper
Developing Topology Discovery in Event-B	2009-02-24	Paper
Tank monitoring: A pAMN case study	2006-11-17	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4436971	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436969	2003-12-04	Paper

Research outcomes over time

This page was built for person: Thai Son Hoang