Author:
Blech Jan Olaf,Schaefer Ina,Poetzsch-Heffter Arnd
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Adler, R., Schaefer, I., Schuele, T., Vecchie, E.: From Model-Based Design to Formal Verification of Adaptive Embedded Systems. In: Proc. of ICFEM 2007, (November 2007)
2. Lecture Notes in Computer Science;S. Bensalem,1993
3. Blech, J.O., Gesellensetter, L., Glesner, S.: Formal Verification of Dead Code Elimination in Isabelle/HOL. In: Proc. of SEFM, pp. 200–209 (2005)
4. Blech, J.O., Poetzsch-Heffter, A.: A certifying code generation phase. In: Proc. of COCV 2007 ENTCS, Braga, Portugal, (March 2007)
5. Blech, J.O., Schaefer, I., Poetzsch-Heffter, A.: On Translation Validation for System Abstractions. Technical Report 361-07, TU Kaiserslautern, (July 2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献