http://sites.lero.ie/fm2011/tutorials.html?rss fm2011 / Tutorials en <p>FM2011 features a tutorial program of two full days, with two tracks running in parallel.</p><p><strong>Program</strong></p><p><br /><strong>Monday afternoon, 20 June 2011</strong></p><p>Elena Troubitsyna et al.: &quot;<a href="/fm2011/Tutorial3.html">Correct-by-Construction Development of Fault Tolerant Systems</a>&quot;</p><p>Jun Sun and Jin Song Dong: &quot;<a href="/fm2011/Tutorial4.html">Build Your Own Model Checker in One Month</a>&quot;</p><p><br /><strong>Tuesday morning, 21 June 2011</strong></p><p>Viktor Vafeiadis and Cliff Jones: &quot;<a href="/fm2011/Tutorial5.html">Rely/Guarantee-thinking and Separation Logic</a>&quot;</p><p>Peter Gorm Larsen and Marcel Verhoef: &quot;<a href="/fm2011/Tutorial6.html">Design of Real-time Embedded Control Systems using VDM++ and Bond graphs</a>&quot;<br /></p><p><strong>Tuesday afternoon, 21 June 2011</strong></p><p>Peter Gorm Larsen and Marcel Verhoef: &quot;<a href="/fm2011/Tutorial6.html">Design of Real-time Embedded Control Systems using VDM++ and Bond graphs</a>&quot; (continued)</p><p><br /><strong>TUTORIALS CHAIR</strong></p><p><a href="http://www.nicoplat.com/" target="_blank">Nico Plat</a>, <a href="http://www.west.nl/en" target="_blank">West Consulting</a>, The Netherlands</p><p><a href="mailto:tutorials@fmeurope.org?subject=FM2011 Tutorials Enquiry">tutorials@fmeurope.org</a></p> Fri, 17 Jun 2011 10:00:14 GMT http://sites.lero.ie/fm2011/tutorials.html lero http://sites.lero.ie/fm2011/tutorials.htmlFri, 17 Jun 2011 10:00:14 GMT