The John von Neumann Minerva Center for the Development of Reactive Systems

The John von Neumann Minerva Center for the Development of Reactive Systems advances the development of complex reactive systems, mainly through the processes of modeling and analysis. Research concentrates on visual formalisms and supporting tools for modeling, and on powerful simulation and analysis methods. The center works closely with applications for industry; other projects include service-oriented computing, tactical simulators and health care processes.