Journals in DBLP

Real-Time Systems
1993, volume: 5, number: 2-3

1. Sandro Bologna
   Guest Introduction: The IPTES Project. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:135-137 [Journal]
   
2. Petri Pulli, René Elmstrøm
   IPTES: A Concurrent Engineering Approach for Real-Time Software Development. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:139-152 [Journal]
   
3. Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente, Nabil Zakhama, Alejandro Alonso
   The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:153-171 [Journal]
   
4. Petri Pulli, Marko Heikkinen, Raino Lintulampi
   Graphical Animation as a Form of Prototyping Real-Time Software Systems. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:173-195 [Journal]
   
5. René Elmstrøm, Poul Bøgh Lassen, Michael Andersen
   An Executable Subset of VDM-SL, in an SA/RT Framework. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:197-211 [Journal]
   
6. Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León, Juan C. Dueñas
   Distributed Execution of Specifications. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:213-234 [Journal]
   
7. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
   High-Level Timed Petri Nets as a Kernel for Executable Specifications. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:235-248 [Journal]
   
8. René Elmstrøm, Raino Lintulampi, Mauro Pezzè
   Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 1993, v:5, n:2-3, pp:249-271 [Journal]