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