Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. J.-R. Abrial, E. Börger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey). Springer-Verlag, 1996.
2. Ch. Beierle, E. Börger, I. Durdanović, U. Glässer, and E. Riccobene. Refining abstract machine specifications of the steam boiler control to well documented executable code. In J.-R. Abrial, E. Börger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey), pages 52–78. Springer-Verlag, 1996.
3. E. Börger and U. Glässer. A formal specification of the PVM architecture. In B. Pehrson and 1. Simon, editors, Proc. of the IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, pages 402–409. Elsevier Science Publishers B. V., 1994.
4. E. Börger, U. Glässer, and W. Mueller. Formal definition of an abstract VHDL'93 simulator by EA-machines. In C. Delgado Kloos and P.T. Breuer, editors, Semantics of VHDL, volume 307 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1995.
5. Egon Börger. Why use evolving algebras for hardware and software engineering. In Proc, of SOFSEM'95, volume 1012 of LNCS, pages 236–271. Springer-Verlag, 1995.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献