-
1
-
-
33847264138
-
GALILEO: Design Language for Real-Time Systems
-
ITT Corporation, pp, June
-
Vidondo, F., "GALILEO: Design Language for Real-Time Systems", Proc. ITT Conf. on Programming Productivity and Quality, ITT Corporation, pp. 198-210, June 1983.
-
(1983)
Proc. ITT Conf. on Programming Productivity and Quality
, pp. 198-210
-
-
Vidondo, F.1
-
3
-
-
0021375281
-
Advanced Real-Time Languages for Distributed Industrial Process Control
-
February
-
Steusloff, H. U., "Advanced Real-Time Languages for Distributed Industrial Process Control", Computer, vol. 17, no. 2, pp. 37-46, February 1984.
-
(1984)
Computer
, vol.17
, Issue.2
, pp. 37-46
-
-
Steusloff, H.U.1
-
4
-
-
84976756573
-
A Software Design Method for Real Time Systems
-
September
-
Gomaa, H., "A Software Design Method for Real Time Systems", CACM, vol. 27, no. 9, pp. 938-949, September 1984.
-
(1984)
CACM
, vol.27
, Issue.9
, pp. 938-949
-
-
Gomaa, H.1
-
5
-
-
0021976780
-
Communication Modules: A Software Design Model for Concurrent Distributed Systems
-
January
-
Witt, B. I., "Communication Modules: A Software Design Model for Concurrent Distributed Systems", IEEE Computer, vol. 18, no. 1, pp. 67-77, January 1985.
-
(1985)
IEEE Computer
, vol.18
, Issue.1
, pp. 67-77
-
-
Witt, B.I.1
-
8
-
-
0024684902
-
Aperiodic task scheduling for hard real-time systems
-
B. Sprunt, L. Sha, and J. Lehoczky. "Aperiodic task scheduling for hard real-time systems", Journal of Real-Time Systems, 1(1):27-60, 1989
-
(1989)
Journal of Real-Time Systems
, vol.1
, Issue.1
, pp. 27-60
-
-
Sprunt, B.1
Sha, L.2
Lehoczky, J.3
-
9
-
-
0030378498
-
Schedulability verification of real-time systems with extended time Petri nets
-
Okawa Y., Yoneda T., "Schedulability verification of real-time systems with extended time Petri nets", International Journal of Mini and Microcomputers, vol. 18, no 3, 1996, p. 148-156.
-
(1996)
International Journal of Mini and Microcomputers
, vol.18
, Issue.3
, pp. 148-156
-
-
Okawa, Y.1
Yoneda, T.2
-
10
-
-
0031334975
-
-
Toussaint, J., F. Simonot-Lion and Jean-Pierre Thomesse (1997). Time constraint verifications methods based time petri nets. In: 6th Workshop on Future Trends in Distributed Computing Systems (FT-DCS'97). Tunis, Tunisia, pp. 262-267.
-
Toussaint, J., F. Simonot-Lion and Jean-Pierre Thomesse (1997). Time constraint verifications methods based time petri nets. In: 6th Workshop on Future Trends in Distributed Computing Systems (FT-DCS'97). Tunis, Tunisia, pp. 262-267.
-
-
-
-
13
-
-
84884844857
-
SIMHOL - A graphical simulator for the joint scheduling of messages and tasks in distributed embedded systems
-
Aveiro, Portugal, July
-
Calha, M.J., J.A. Fonseca, "SIMHOL - A graphical simulator for the joint scheduling of messages and tasks in distributed embedded systems", Proceedings of the 5th IFAC International Conference on Fieldbus Systems and their Applications (FeT 2003), Aveiro, Portugal, July 2003.
-
(2003)
Proceedings of the 5th IFAC International Conference on Fieldbus Systems and their Applications (FeT
-
-
Calha, M.J.1
Fonseca, J.A.2
|