Formal techniques in real time and fault tolerant systems  Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings 
 real-time fault-tolerant 
H. Langmaack ... (eds.) 
 - XIV, 787 S.  graph. Darst. 
 - Lecture notes in computer science  863 .
 -  86300 .
 - Lecture notes in computer science  863 .
<br/><br/> Literaturangaben 
<br/><br/>Formal techniques in real-time and fault-tolerant systems Langmaack, Hans, 1934 - : Formal Techniques in Real-Time and Fault-Tolerant Systems 
<br/><br/><label>ISBN: </label>3540584684 
<br/><br/><label>Patent No.: </label>164071962 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>31044783  US-OCoLC ZBM0803.00029 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Real-time data processing--Congresses<br/>Fault-tolerant computing--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Lübeck--1994<br/>Konferenzschrift