Thai Son Hoang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formal Aspects of Computing	2016-10-28	Paper
Abstractions of non-interference security: probabilistic versus possibilistic Formal Aspects of Computing	2015-03-25	Paper
Security invariants in discrete transition systems Formal Aspects of Computing	2013-03-22	Paper
Developing topology discovery in Event-B Science of Computer Programming	2009-12-11	Paper
Qualitative Probabilistic Modelling in Event-B Lecture Notes in Computer Science	2009-03-06	Paper
Developing Topology Discovery in Event-B Lecture Notes in Computer Science	2009-02-24	Paper
Tank monitoring: A pAMN case study Formal Aspects of Computing	2006-11-17	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2013586 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013585 (Why is no real title available?)	2003-12-04	Paper

Research outcomes over time

This page was built for person: Thai Son Hoang