https://wiki.mafiasi.de/index.php?action=history&feed=atom&title=KunterBuntesSeminar-WS12%2FLightning_Talks2%2Fvgo 2026-10-16T17:23:53Z Versionsgeschichte dieser Seite in Fachschaft Informatik MediaWiki 1.46.2 https://wiki.mafiasi.de/index.php?title=KunterBuntesSeminar-WS12/Lightning_Talks2/vgo&diff=17144&oldid=prev 2013-01-31T15:09:38Z

<p>Seite angelegt</p> <p><b>Neue Seite</b></p><div>{{:KunterBuntesSeminar-WS12/Terminseiten-Header|13|31. Januar 2013|zeit=&#039;&#039;&#039;18:35&#039;&#039;&#039; bis 18:40|raum=C-221}}<br /> <br /> Dieser Lightning Talk wurde in der [[KunterBuntesSeminar-WS12/Lightning Talks2|zweiten Lightning Talk Session]] des KunterBuntenSeminars im Wintersemester 2012 gehalten.<br /> <br /> == Abstract ==<br /> ModelChecken koennte Software besser machen. Aber wie?<br /> <br /> == Folien ==<br /> [[Medium:Kbs_lightning_ws2012_2_vgo.pdf | Folien vom Vortrag]]<br /> <br /> == Weblinks ==<br /> <br /> * https://bitbucket.org/teythoon/vgo<br /> * http://vgo.readthedocs.org/ -- Handbuch<br /> * http://jade-hamburg.de/~teythoon/vgo/ -- Demos (spielbar!)<br /> <br /> [[Kategorie:KunterBuntesSeminar]]</div>

JustusWinter