|
23
|
A Formal Proof of a Deadline Driven Scheduler
– Zheng Yuhua, Zhou Chaochen
- 1994
|
|
80
|
Duration calculus, logical foundations
– M R Hansen, C C Zhou
- 1997
|
|
9
|
Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS
– Dang Van Hung
|
|
242
|
A calculus of durations
– Z Chaochen, C A R Hoare, A P Ravn
- 1991
|
|
4
|
Huong and Dang Van Hung. Modelling Real-time Database Systems in Duration Calculus
– Ho Van
- 2002
|
|
3
|
Kwei-Jay Lin and Sang Hyuk Son. Real-Time Database Systems: Issues and Applications
– Azer Bestavros
- 1997
|
|
11
|
Real-Time Database Systems: Architecture and Techniques
– K Y Lam, T W Kuo
- 2001
|
|
7
|
Real-time Systems Development with Duration Calculus: an Overview
– Dang Van Hung
- 2002
|
|
4
|
A Formal Specification of the Concurrency Control in Real-Time Databases
– Ekaterina Pavlova
- 1999
|
|
2
|
Synthesizing Controllers of Duration Calculus
– Franzle Martin
- 1996
|
|
7
|
Prefix and Projection onto State in Duration Calculus
– Dimitar P. Guelev, Dang Van Hung
- 2001
|
|
12
|
A recursive duration calculus
– P K Pandya, Y S Ramakrishna
- 1995
|
|
8
|
On the Completeness and Decidability of Duration Calculus with Iteration. submitted
– D P Guelev, Dang Van Hung
- 2000
|
|
25
|
Complete Proof Systems for First Order Interval Temporal Logic
– Bruno Dutertre
- 1995
|
|
3
|
Some Results on the Decidability of Duration Calculus under Synchronous Interpretation
– Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
- 1996
|
|
53
|
A Kleene Theorem for Timed Automata
– Eugene Asarin, Paul Caspi, Oded Maler
- 1997
|
|
1
|
On the Complexity of Fixed Priority Scheduling of Real-Time Tasks, Performance Evaluation 2(4
– J Leung, J Whitehead
- 1982
|
|
1
|
Tomasz Janowski, Verification of Schedulability for Real-Time Programs
– Zhiming Liu, Mathai Joseph
- 1995
|
|
7
|
and Zhou Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing
– M R Hansen
- 1983
|
