Dang Van Hung

Available identifiers

zbMath Open dang-van-hung.MaRDI QIDQ168969

List of research outcomes

Publication	Date of Publication	Type
On the design of hybrid control systems using automata models	2024-07-05	Paper
A duration calculus with infinite intervals	2022-12-09	Paper
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus	2009-11-11	Paper
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus	2008-09-25	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Checking temporal duration properties of timed automata.	2004-07-01	Paper
Process net reconstruction from the sequence of Petri net transition triggerings	2001-04-02	Paper
Checking timed automata for linear duration properties	2000-11-20	Paper
Probabilistic duration calculus for continuous time	2000-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4284252	1994-07-19	Paper
Semi-commutations and Petri nets	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792232	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774977	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5186744	1984-01-01	Paper

Research outcomes over time

This page was built for person: Dang Van Hung