[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - A coinductive monad for prop-bounded recursion
- 作者Megacz, Adam
- 文件大小206.34KB
- 发表时间2007
- DOI10.1145/1292597.1292601
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - SIRAPBehnam, Moris; Shin, Insik; Nolte, Thomas; Nolin, Mikael · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - The algebra of connectorsBliudze, Simon; Sifakis, Joseph · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - μ-treeKang, Dongwon; Jung, Dawoon; Kang, Jeong-Uk; Kim, Jin-Soo · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - The revenge of the overlayHe, Haifeng; Debray, Saumya K.; Andrews, Gregory R. · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Grand challenges in embedded softwareKirsch, Christoph M.; Wilhelm, Reinhard · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - E-FRP with prioritiesKaiabachev, Roumen; Taha, Walid; Zhu, Angela · 2007
[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Performance analysis of distributed embedded systemsThiele, Lothar · 2007
[ACM Press the 7th IEEE/ACM international conference - Grenoble, France (2009.10.11-2009.10.16)] Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '09 - SARARaghavan, Praveen; Catthoor, Francky · 2009