Вы здесь

Van Hung D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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