Suchfeld einblenden
Schlagwort Echtzeitverarbeitung
12 Treffer
Real time: theory in practice
: proceedings / REX Workshop, Mook, The Netherlands, June 3 - 7, 1991. J. W. de Bakker ... (ed.). - Berlin : Springer, 1992. - VIII, 723 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 600)
ISBN 978-3-540-55564-3 / 3-540-55564-1 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Koymans, Ronald L.: Specifying message passing and time critical systems with temporal logic
/ Ron Koymans. - Berlin : Springer, 1992. - VIII, 164 S.; 24 cm - (Lecture notes in computer science; Vol. 651)
ISBN 978-3-540-56283-2 / 3-540-56283-4 kart. : DM 46.00
Literaturverz. S. 151 - 161
Quelle: DNB
