際際滷shows by User: alinstef / http://www.slideshare.net/images/logo.gif 際際滷shows by User: alinstef / Fri, 20 May 2011 03:39:39 GMT 際際滷Share feed for 際際滷shows by User: alinstef 際際滷s for a talk on search-based testing for Event-B models /slideshow/sllides-for-a-talk-on-searchbased-testing-for-eventb-models/8037273 alin-stefanescu-slides-110520033942-phpapp02
This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/]]>
This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/]]> Fri, 20 May 2011 03:39:39 GMT /slideshow/sllides-for-a-talk-on-searchbased-testing-for-eventb-models/8037273 alinstef@slideshare.net(alinstef) 際際滷s for a talk on search-based testing for Event-B models alinstef This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/ <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/alin-stefanescu-slides-110520033942-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> This a talk I gave at the 13th CREST Worshop. See more details at: http://crest.cs.ucl.ac.uk/cow/13/
際際滷s for a talk on search-based testing for Event-B models from Alin Stefanescu
]]> 731 3 https://cdn.slidesharecdn.com/ss_thumbnails/alin-stefanescu-slides-110520033942-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 際際滷s for a talk on UML Semantics in Nuremberg in 2005 /slideshow/slides-for-a-talk-on-uml-semantics-in-nuremberg-in-2005/4392525 ecmda05-100602124221-phpapp02
Presented at a Workshop on UML semantics in 2005]]>
Presented at a Workshop on UML semantics in 2005]]> Wed, 02 Jun 2010 12:41:45 GMT /slideshow/slides-for-a-talk-on-uml-semantics-in-nuremberg-in-2005/4392525 alinstef@slideshare.net(alinstef) 際際滷s for a talk on UML Semantics in Nuremberg in 2005 alinstef Presented at a Workshop on UML semantics in 2005 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ecmda05-100602124221-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at a Workshop on UML semantics in 2005
際際滷s for a talk on UML Semantics in Nuremberg in 2005 from Alin Stefanescu
]]> 400 5 https://cdn.slidesharecdn.com/ss_thumbnails/ecmda05-100602124221-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 際際滷s for a talk on UML Semantics in Genoa in 2006 /slideshow/slides-for-a-talk-in-genoa-in-2006/4392463 genoa06-slides-100602123650-phpapp02
]]>
]]> Wed, 02 Jun 2010 12:36:15 GMT /slideshow/slides-for-a-talk-in-genoa-in-2006/4392463 alinstef@slideshare.net(alinstef) 際際滷s for a talk on UML Semantics in Genoa in 2006 alinstef <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/genoa06-slides-100602123650-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br>
際際滷s for a talk on UML Semantics in Genoa in 2006 from Alin Stefanescu
]]> 575 3 https://cdn.slidesharecdn.com/ss_thumbnails/genoa06-slides-100602123650-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 際際滷s for ACSD'05 conference /slideshow/slides-for-acsd05-conference/4392385 cusersd048259desktopacsd05-slides-100602122420-phpapp01
際際滷s presented at the ACSD'05 conference by Alin Stefanescu]]>
際際滷s presented at the ACSD'05 conference by Alin Stefanescu]]> Wed, 02 Jun 2010 12:24:09 GMT /slideshow/slides-for-acsd05-conference/4392385 alinstef@slideshare.net(alinstef) 際際滷s for ACSD'05 conference alinstef 際際滷s presented at the ACSD'05 conference by Alin Stefanescu <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cusersd048259desktopacsd05-slides-100602122420-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s presented at the ACSD&#39;05 conference by Alin Stefanescu
際際滷s for ACSD'05 conference from Alin Stefanescu
]]> 236 2 https://cdn.slidesharecdn.com/ss_thumbnails/cusersd048259desktopacsd05-slides-100602122420-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Alin Stefanescu: 際際滷s for PhD defense /alinstef/phd-slides phd-slides-100602121736-phpapp02
]]>
]]> Wed, 02 Jun 2010 12:17:23 GMT /alinstef/phd-slides alinstef@slideshare.net(alinstef) Alin Stefanescu: 際際滷s for PhD defense alinstef <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/phd-slides-100602121736-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br>
Alin Stefanescu: 際際滷s for PhD defense from Alin Stefanescu
]]> 581 5 https://cdn.slidesharecdn.com/ss_thumbnails/phd-slides-100602121736-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-alinstef-48x48.jpg?cb=1713094178 Doing research in formal methods for software engineering alin.stefanescu.eu https://cdn.slidesharecdn.com/ss_thumbnails/alin-stefanescu-slides-110520033942-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/sllides-for-a-talk-on-searchbased-testing-for-eventb-models/8037273 際際滷s for a talk on s... https://cdn.slidesharecdn.com/ss_thumbnails/ecmda05-100602124221-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/slides-for-a-talk-on-uml-semantics-in-nuremberg-in-2005/4392525 際際滷s for a talk on U... https://cdn.slidesharecdn.com/ss_thumbnails/genoa06-slides-100602123650-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/slides-for-a-talk-in-genoa-in-2006/4392463 際際滷s for a talk on U...