СТ |
Verifying Linear Duration Constraints of Timed Automata |
2005 |
Thai Ph. H., Van Hung D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
СТ |
Real-Time Systems Development with Duration Calculi: An Overview |
2003 |
Van Hung D. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
СТ |
From Continuous Specification to Discrete Design |
2000 |
Siewe F., Van Hung D. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
СТ |
Duration Calculus Specification of Scheduling for Tasks with Shared Resources |
1995 |
Chan P., Van Hung D. |
|
|
|
Lecture Notes in Computer Science |
12.01.1996 |
СТ |
On the Relation between Firing Sequences and Processes of Petri Nets |
1993 |
Van Hung D., Van Dung T. |
|
|
|
Lecture Notes in Computer Science |
16.09.1993 |