Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Proseminar Real Time Systems Introductory Meeting

Summary: Proseminar Real Time Systems
Introductory Meeting
Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Ulrich Loup
and Johanna Nellen
Theory of Hybrid Systems
Informatik 2
SS 2011
Theory of Hybrid Systems - Proseminar Real Time Systems 1 / 6
Contents (rough)
Formal modeling of real world scenarios
Properties for such systems
Automatic error analysis of systems
Goals of this proseminar
Independent elaboration of a topic
Structured scientic working
Development of a short paper
A good talk addressing the other students
Literature research
LATEX skills


Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)


Collections: Computer Technologies and Information Sciences