Nguyen Van Tang

发表

Formal semantics of extended hierarchical state transition matrix by CSP

Akira Fukuda, Kenji Taguchi, Yoriyuki Yamagata, 2012, ACM SIGSOFT Softw. Eng. Notes.

Modeling Urgency in Component-Based Real-Time Systems

Mizuhito Ogawa, Dang Van Hung, Nguyen Van Tang, 2006, ASIAN.

Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata

Hitoshi Ohsaki, Nguyen Van Tang, H. Ohsaki, 2011, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Constructing test cases for n-wise testing from tree-based test models

Takashi Kitamura, Hitoshi Ohsaki, Nguyen Van Tang, 2013, SoICT.

A formal semantics of extended hierarchical state transition matrices using CSP#

Akira Fukuda, Kenji Taguchi, Yoriyuki Yamagata, 2013, Formal Aspects of Computing.

On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems

Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang, 2008 .

Event-Clock Visibly Pushdown Automata

Mizuhito Ogawa, Nguyen Van Tang, Mizuhito Ogawa, 2009, SOFSEM.

Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++

Hitoshi Ohsaki, Daisuke Souma, Nguyen Van Tang, 2012, VSTTE.

On Model Checking for Visibly Pushdown Automata

Hitoshi Ohsaki, Nguyen Van Tang, H. Ohsaki, 2012, LATA.

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference

Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang, 2009, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

A Tighter Bound for the Determinization of Visibly Pushdown Automata

Nguyen Van Tang, 2009, INFINITY.

Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata

Mizuhito Ogawa, Nguyen Van Tang, 2008 .

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Osamu Mizuno, Eun-Hye Choi, Masahiro Aoki, 2014, J. Appl. Math..

On a method combining the data language and the programming language

Nguyen Van Tang, 2015 .

Under consideration for publication in Formal Aspects of Computing Formal Semantics of an Extended Hierarchical State Transition Matrix using CSP

Nguyen Van Tang, Hitoshi Ohsaki, Weiqiang Kong, 2012 .

Rapid and efficient synthesis of high-porous reduced graphene oxide/NiCo2S4 nanocomposites for supercapacitor application

Nguyen Van Tang, N. Hieu, N. Hoa, 2020 .