( en | de | ru )

 

Disambiguation of "Tang, Nguyen Van"

Author of the publication

copydeleteadd this publication to your clipboard
Formal semantics of extended hierarchical state transition matrix by CSP.

, , , , , and . ACM SIGSOFT Softw. Eng. Notes, 37 (4): 1-8 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tang-Van Nghia

Huu-Tang Nguyen

Nguyen-van-Cung

Nguyen Van Tai

Van-Tri Nguyen

 

Other publications of authors with the same name

Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata., and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 94-A (12): 2794-2801 (2011)Event-Clock Visibly Pushdown Automata., and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 558-569. Springer, (2009)Constructing test cases for n-wise testing from tree-based test models., , , , , and . SoICT, page 275-284. ACM, (2013)A formal semantics of extended hierarchical state transition matrices using CSP#., , , , , and . Formal Aspects Comput., 26 (5): 943-962 (2014)On Model Checking for Visibly Pushdown Automata., and . LATA, volume 7183 of Lecture Notes in Computer Science, page 408-419. Springer, (2012)A Tighter Bound for the Determinization of Visibly Pushdown Automata. INFINITY, volume 10 of EPTCS, page 62-76. (2009)Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 92-A (8): 2046-2052 (2009)Formal Specification Based Automatic Test Generation for Embedded Network Systems., , , , , , , and . J. Appl. Math., (2014)Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++., , , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 163-178. Springer, (2012)Modeling Urgency in Component-Based Real-Time Systems., , and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 248-255. Springer, (2006)