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