Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Seminar Model Checking Probabilistic Systems Einfuhrungsveranstaltung
 

Summary: Seminar Model Checking Probabilistic Systems
Einf¨uhrungsveranstaltung
Erika Abrams Joost-Pieter Katoen
Software Modeling and Verification Group
10. April 2009
Einf¨uhrung Termine Themen
Model Checking Probabilistic Systems
Erika Abrams, Joost-Pieter Katoen Seminar Model Checking Probabilistic Systems
Einf¨uhrung Termine Themen
Zielsetzung
Inhalt des Seminars
Verifikation von Systemen mit
probabilistischen
nichtdeterministischen
zeitkritischen
Komponenten.
Ziele des Seminars
Selbst¨andiges Einarbeiten in ein wissenschaftliches Thema
Literaturrecherche
Darstellen des Inhalts in einer wissenschaftlichen Ausarbeitung

  

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

 

Collections: Computer Technologies and Information Sciences