Specification and Transformation of a Gas Burner (FME version (1993)

by M Schenke
Venue:ProCoS Project Document [OLD MS 10/1], Universitat
Add To MetaCart
Results 1 - 2 of 2

Specification and Transformation of a Gas Burner (IEEE-version)

by Michael Schenke , 1993
"... This report reflects work which is partially funded by the Commission of the European Communities (CEC) under the ESPRIT programme in the field of Basic Research Project No. 7071: "ProCoS II: Provably Correct Systems" ..."
Abstract - Add to MetaCart
This report reflects work which is partially funded by the Commission of the European Communities (CEC) under the ESPRIT programme in the field of Basic Research Project No. 7071: "ProCoS II: Provably Correct Systems"

Overview of ESPRIT ProCoS II Project

by C. A. R. Hoare, Hans Langmaack, Ernst-Rüdiger Olderog, E. -r. Olderog, Anders P. Ravn , 1993
"... This report reflects work which is partially funded by the Commission of the European Communities (CEC) under the ESPRIT programme in the field of Basic Research Project No. 7071: "ProCoS II: Provably Correct Systems" ..."
Abstract - Add to MetaCart
This report reflects work which is partially funded by the Commission of the European Communities (CEC) under the ESPRIT programme in the field of Basic Research Project No. 7071: "ProCoS II: Provably Correct Systems"