Вы здесь

Chaochen Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ UNU and UNU/IIST 2003 Chaochen Z. Lecture Notes in Computer Science 25.12.2003
СТ Duration Calculus, a Logical Approach to Real-Time Systems 1999 Chaochen Z. Lecture Notes in Computer Science 05.02.1999
СТ An Adequate First Order Interval Logic 1998 Chaochen Z., Hansen M. R. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ A Duration Calculus with Infinite Intervals 1995 Chaochen Z., Hung D. V., Xiaoshan L. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Formal Design of Hybrid Systems 1994 Xinyao Y., Ji W., Chaochen Z., Pandya P. K. Lecture Notes in Computer Science 19.10.1994
СТ A Formal Proof of the Deadline Driven Scheduler 1994 Yuhua Z., Chaochen Z. Lecture Notes in Computer Science 19.10.1994
СТ An Extended Duration Calculus for Hybrid Real-Time Systems 1993 Chaochen Z., Ravn A. P., Hansen M. R. Lecture Notes in Computer Science 08.12.1993
СТ Decidability and Undecidability Results for Duration Calculus 1993 Chaochen Z., Hansen M. R., Sestoft P. Lecture Notes in Computer Science 06.04.1993
СТ Semantics and Completeness of Duration Calculus 1992 Hansen M. R., Chaochen Z. Lecture Notes in Computer Science 08.08.1992