Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code

Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene. Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In Jean-Raymond Abrial, Egon Börger, Hans Langmaack, editors, Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Volume 1165 of Lecture Notes in Computer Science, pages 52-78, Springer, 1995.

@inproceedings{BeierleBDGR95,
  title = {Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code},
  author = {Christoph Beierle and Egon Börger and Igor Durdanovic and Uwe Glässer and Elvinia Riccobene},
  year = {1995},
  tags = {abstract machine},
  researchr = {https://researchr.org/publication/BeierleBDGR95},
  cites = {0},
  citedby = {0},
  pages = {52-78},
  booktitle = {Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)},
  editor = {Jean-Raymond Abrial and Egon Börger and Hans Langmaack},
  volume = {1165},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61929-1},
}