Sponsor of the Day:
Jerkmate
https://swt.informatik.uni-freiburg.de/teaching/WS2019-20/cps-dm
Cyber-Physical Systems I - Discrete Models — Software Engineering
In this course we demonstrate how cyber-physical systems, in the wide range of their heterogeneous aspects (large-scale systems, system of systems, embedded...
cyber physical systemsdiscrete modelssoftware engineering
https://swt.informatik.uni-freiburg.de/teaching/WS2016-17/cps-dm
Cyber-Physical Systems I - Discrete Models — Software Engineering
In this course we demonstrate how cyber-physical systems, in the wide range of their heterogeneous aspects (large-scale systems, system of systems, embedded...
cyber physical systemsdiscrete modelssoftware engineering
https://swt.informatik.uni-freiburg.de/teaching/WS2012-13/cps1-mc
Cyber-Physical Systems I - Discrete Models — Software Engineering
Model checking is a technique for the automatic verification of hardware or software systems. Given such a system and a specification of its intended...
cyber physical systemsdiscrete modelssoftware engineering