Information Technology Reference
In-Depth Information
30. A.P. Ravn, H. Rischel, K.M. Hansen. Specifying and verifying requirements of
real-time systems. IEEE Transactions on Software Engineering , vol. 19,1 (1993)
41{55.
31. A.P. Ravn. Design of Embedded Real-Time Computing Systems . Thesis for the
Doctor of Technics. Technical Report ID-TR: 1995-170, Technical University of
Denmark, 1995.
32. W. Reisig. Petri Nets { An Introduction . Springer-Verlag, 1985.
33. W.-P. de Roever, K. Engelhardt. Data Renement: Model-Oriented Proof Meth-
ods and their Comparison (Cambridge, 1998).
34. M. Schenke, E.-R. Olderog, Transformational design of real-time systems { part
I: from requirements to program specications. Acta Informatica 36 , 1999, 1{65.
35. M. Schenke, Transformational design of real-time systems { part II: from pro-
gram specications to programs. Acta Informatica 36 , 1999, 67{96.
36. R. Schlor, W. Damm. Specication and verication of system level hardware
designs using timing diagrams. In Proc. European Conf. on Design Automation ,
Paris, 1993.
37. Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A calculus of durations. Information
Processing Letters , 40/5, 1991, 269{276.
Search WWH ::




Custom Search