8 November 2012, Frank Stappers. Bridging Formal Models – An Engineering Perspective. Faculty of Mathematics and Computer Science, TU/e.
Currently browsing category
11 December 2012, Luc Engelen. From Napkin Sketches to Reliable Software. Faculty of Mathematics and Computer Science, TU/e.
29 November 2012, Damian Nadales. A Compositional Interchange Format for Hybrid Systems: Design and Implementation. Faculty of Mechanical Engineering, TU/e.
1 October 2012, Sander Vermolen. Software Language Evolution. Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD.
30 October 2012, Hossein Rahmani. Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms. Faculty of Mathematics and Natural Sciences, UL.