Information Technology Reference
In-Depth Information
104. Parthasarathy, S.: PRaCoSy: An Executive Overview. Technical Report
par/02/09, UNU/IIST, the UN University's International Institute for Software
Technology, P.O. Box 3058, Macau (June 1994), E-Mail: library@iist.unu.edu
105. Parthasarathy,
S.:
PRaCoSy:
Document
Roadmap.
Technical
Report
par/roadmap/2,
UNU/IIST,
the
UN
University's
International
Institute
for
Software
Technology,
P.O.
Box
3058,
Macau
(June
1994),
E-Mail:
library@iist.unu.edu
106. Parthasarathy, S.: PRaCoSy Project Phase i: Revised Activity Plan. Techni-
cal Report par/plan/01, UNU/IIST, the UN University's International Insti-
tute for Software Technology, P.O. Box 3058, Macau (April 1994), E-Mail:
library@iist.unu.edu
107. Parthasarathy, S.: PRaCoSy: Software Design Description. Technical Report
par/sdd/2, UNU/IIST, the UN University's International Institute for Software
Technology, P.O. Box 3058, Macau (July 1994), E-Mail: library@iist.unu.edu
108. Parthasarathy, S.: Episode Analysis — A Practical Approach for Temporal Rea-
soning in Automated Processes. Engineering Applications of AI (1995)
109. Parthasarathy, S., Bjørner, D.: PRaCoSy: Document Catalogue. Technical Report
jdh/catal/05, UNU/IIST, the UN University's International Institute for Software
Technology, P.O. Box 3058, Macau (July 1994), E-Mail: library@iist.unu.edu
110. Parthasarathy, S., Prehn, S., Bjørner, D.: PRaCoSy: Work-package Description.
Technical Report par/03/03, UNU/IIST, the UN University's International In-
stitute for Software Technology, P.O. Box 3058, Macau (January 1994), E-Mail
library@iist.unu.edu
111. Parthasarathy, S., Prehn, S., Bjørner, D.: Running Map Display and Interactivity.
Technical Report par/disply/03, UNU/IIST, the UN University's International
Institute for Software Technology, P.O. Box 3058, Macau (March 1994), E-Mail:
library@iist.unu.edu
112. Pedersen, J.S.: Specifying Aspects of a Dwarf Signal System Using RAISE. In:
Lecomte,T.,Larsen,P.G.(eds.)FME,RailWorkshop#5,FME,RailWork-
shop; Toulouse, France. FME: Formal Methods Europe, Steria, France, vol. # 5
(September 22-24, 1999)
113. Peleska, J., Haxthausen, A.: Formal Development and Verification of a Distributed
RailwayControlSystem.In:FMERailWorkshop#1,FME:FormalMethods
Europe, Utrecht, The Netherlands, vol. # 1 (June 1998)
114. Petersen, J.L.: Mathematical Methods for validating Railway Interlocking Sys-
tems. PhD thesis, Dept. of IT, Techn. Univ. of Denmark, Bldg. 344, DK-2800
Lyngby (February/November 1998)
115. Prehn, S.: Distributed Train Time-tables and Dispatching. Technical Report
SP/13/2, UNU/IIST, the UN University's International Institute for Software
Technology, P.O.Box 3058, Macau (July 1994), E-Mail: library@iist.unu.edu
116. Prehn, S.: PRaCoSy Document Standard. Technical Report sp/4/1, UNU/IIST,
the UN University's International Institute for Software Technology, P.O. Box
3058, Macau (October 1993), E-Mail: library@iist.unu.edu
117. Prehn, S.: A Railway Running Map Design. Technical Report SP/12/3,
UNU/IIST, the UN University's International Institute for Software Technology,
P.O. Box 3058, Macau (July 1994), E-Mail: library@iist.unu.edu
118. Penicka, M.: Towards a Theory of Railways. PhD thesis, Czech Technical Univer-
sity in Prague, Danish Technical University in Kgs. Lyngby (December 2006)
Search WWH ::




Custom Search