Formal techniques in real-time and fault-tolerant systems / edited by Jan Vytopil

Date :

Editeur / Publisher : Boston : Kluwer Academic Publishers , c1993

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-7923-9332-5

Temps réel (informatique)

Classification Dewey : 004/.33