Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
Content
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