Thai Son Hoang

Available identifiers

zbMath Open hoang.thai-sonMaRDI QIDQ333312

List of research outcomes

Publication	Date of Publication	Type
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/Q4436969	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436971	2003-12-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thai Son Hoang