Publisher: Springer; 1994 edition (1994)
Format: PDF / Kindle / ePub
Size: 9.2 MB
Downloadable formats: PDF
This quantity offers the court cases of the 3rd foreign Symposium on Formal ideas in Real-Time and Fault-Tolerant platforms held together with the operating team Provably right platforms (ProCoS) at Lübeck, Germany in September 1994.The publication comprises complete types of five invited talks and 33 conscientiously chosen refereed contributions in addition to 12 device demonstrations. It records that formal options represent the root of a scientific layout of real-time, fault-tolerant, and hybrid structures, in the course of the entire engineering method, from the catch of necessities via specification, layout, coding and compilation, down to the that embeds the process into its surroundings.