Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys by

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

Lecture Notes in Computer Science

787 pages • missing pub info (editions)

nonfiction computer science health science medium-paced
Powered by AI (Beta)
Loading...

Description

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at L beck, Germany in September 1994.The b...

Read more

Community Reviews

Loading...

Content Warnings

Loading...