http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/MEMOCODE.html http://www.artist-embedded.org/artist/MEMOCODE.html 2006-07-05T14:49:53Z text/html en Ulrike Woern modeling formal methods ACM-IEEE International Conference on Formal Methods and Models for Codesign. The goal of MEMOCODE'07, the fifth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods. Access it (...) - <a href="http://www.artist-embedded.org/artist/-MEMOCODE-2006-.html" rel="directory">MEMOCODE 2007</a> / <a href="http://www.artist-embedded.org/artist/+-modeling-+.html" rel="tag">modeling</a>, <a href="http://www.artist-embedded.org/artist/+-formal-methods-+.html" rel="tag">formal methods</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton111.gif?1152799141" width='150' height='32' style='height:32px;width:150px;' /> <div class='rss_texte'><p>ACM-IEEE International Conference on Formal Methods and Models for Codesign.</p> <p>The goal of MEMOCODE'07, the fifth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods.</p> <p><a href="http://memocode.irisa.fr/" class='spip_out' rel='external'>Access it online!</a></p></div> http://www.artist-embedded.org/artist/Formal-Methods.html http://www.artist-embedded.org/artist/Formal-Methods.html 2006-07-05T14:42:13Z text/html en Ulrike Woern formal methods <p>The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems.</p> - <a href="http://www.artist-embedded.org/artist/-FM-2006-.html" rel="directory">FM 2006</a> / <a href="http://www.artist-embedded.org/artist/+-formal-methods-+.html" rel="tag">formal methods</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton108.jpg?1152799484" width='150' height='66' style='height:66px;width:150px;' /> <div class='rss_texte'><p>The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.</p> <p><a href="http://fm06.mcmaster.ca/" class='spip_out' rel='external'>Access it online!</a></p></div>