Joint research projects with Johannes Kepler University Linz

last modification : 2017. február 27.

Joint research projects in collaboration woth Johannes Kepler University Linz

  • 2013, Austro-Hungarian OMAA project (87öu15): "Theorem Exploration mit dem Theorema Beweissystem, und Verwendung beim Unterrichten der Logik und Mathematik"
  • 2012, Austro-Hungarian TéT project (TÉT_10-1-2011-0679): "Evaluating Process Algebra Models versus State-Oriented Models for the Performance Analysis of Real-Time Systems and Software Designs"
  • 2012-2013, Austro-Hungarian OMAA project (83öu17): "SAT und GRID"
  • 2009-2010, Austro-Hungarian TéT project (AT-25/2008): "Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles"
  • 2007-2008, Austro-Hungarian TéT project (A-16/2006): "Analyzing Real-Time Systems by Combining Temporal Logic and Statistical Models"


< Vissza