Conferences in DBLP

Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (ftrtft)
1988 (conf/ftrtft/1988)

1. W. J. Cullyer
   High Integrity Computing. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:1-35 [Conf]
   
2. Glenn H. MacEwen, David B. Skillicorn
   Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:36-66 [Conf]
   
3. Jacques Jaray
   Timed Specifications for the Development of Real-time Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:67-83 [Conf]
   
4. Amir Pnueli, Eyal Harel
   Applications of Temporal Logic to the Specification of Real-time Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:84-98 [Conf]
   
5. Daniel Pilaud, Nicolas Halbwachs
   From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:99-110 [Conf]
   
6. Hanno Wupper, Jan Vytopil
   A Specification Language for Reliable Real-time Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:111-127 [Conf]
   
7. Insup Lee, Amy E. Zwarico
   Timed Acceptances: A Model of Time Dependent Processes. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:128-130 [Conf]
   
8. Neelam Soundararajan, Roger L. Costello
   Responsive Sequential Processes. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:131-133 [Conf]
   
9. Leo Yuhsiang Liu, R. K. Shyamasundar
   Static Analysis of Real-time Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1988, pp:134-138 [Conf]
   
10. John A. McDermid, G. Morgan
    Low Level Synchronisation Problems in Digital Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:139-141 [Conf]
    
11. Michael J. Fischer, Lenore D. Zuck
    Reasoning about Uncertainty in Fault-tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:142-158 [Conf]
    
12. Ron Koymans, Ruurd Kuiper, Erik Zijstra
    Paradigms for Real-time Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:159-174 [Conf]
    
13. Luigi V. Mancini, Giuseppe Pappalardo
    Towards a Theory of Replicated Processing. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:175-192 [Conf]
    
14. Maurice Herlihy, Jeannette M. Wing
    Reasoning about Atomic Objects. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:193-208 [Conf]
    
15. Giuseppe Pappalardo, Santosh K. Shrivastava
    A Formal Treatment of Interference in Remote Procedure Calls. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:209-227 [Conf]