13. ECRTS 2001:
Delft,
The Netherlands
13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings.
IEEE Computer Society 2001, ISBN 0-7695-1221-6 BibTeX
@proceedings{DBLP:conf/ecrts/2001,
title = {13th Euromicro Conference on Real-Time Systems (ECRTS 2001),
13-15 June 2001, Delft, The Netherlands, Proceedings},
booktitle = {ECRTS},
publisher = {IEEE Computer Society},
year = {2001},
isbn = {0-7695-1221-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Scheduling I
Worst-Case Execution Time Analysis
Scheduling II
Communications
Design
- Mesfin Belachew, R. K. Shyamasundar:
MSC+: From Requirement to Prototyped Systems.
117-124
Electronic Edition (link) BibTeX
- Michael González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez, J. M. Drake Moyano:
MAST: Modeling and Analysis Suite for Real Time Applications.
125-134
Electronic Edition (link) BibTeX
- Fernando Jiménez-Fraustro, Éric Rutten:
A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.
135-142
Electronic Edition (link) BibTeX
- Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea Ornstein, Giuseppe Psaila:
Partitioning of Hierarchical Automation Systems.
143-
Electronic Edition (link) BibTeX
Formal Systems
Kernels
Scheduling III
Copyright © Wed Jun 4 18:33:06 2008
by Michael Ley (ley@uni-trier.de)