Dang Van Hung

From MaRDI portal
Person:557827

Available identifiers

zbMath Open hung.dang-vanMaRDI QIDQ557827

List of research outcomes





PublicationDate of PublicationType
Checking linear duration invariants by linear programming2024-06-21Paper
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs2016-12-21Paper
On verification of linear occurrence properties of real-time systems2014-01-24Paper
Prefix and projection onto state in duration calculus2013-08-15Paper
Real-time systems development with duration calculi: an overview.2010-03-30Paper
Integrated Formal Methods2009-05-07Paper
Verification of Linear Duration Invariants by Model Checking CTL Properties2009-01-27Paper
A Theory of Duration Calculus with Application2008-09-16Paper
Exploring optimal solution to hardware/software partitioning for synchronous model2006-10-25Paper
On the completeness and decidability of duration calculus with iteration2005-06-30Paper
https://portal.mardi4nfdi.de/entity/Q47872162003-01-09Paper

Research outcomes over time

This page was built for person: Dang Van Hung

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