lecturer:"Christoph Stamm"

Found 2 relevant results in 7.44s where lecturer="Christoph Stamm"

Search options

Showing results ordered by

Results view

Computer Networks

Vernetzte Systeme

VVZ CR

251-0019-00L 2003W , 2004W 4 Credits

No description available.

2003W

Discrete Event Systems

VVZ CR

227-0102-00L 2003W , 2004W , 2005W , 2006W , 2007W , 2008W , 2020W , 2021W , 2022W , 2023W , 2024W , 2025W , 2026W 6 Credits BSC , MSC D-MAVT , D-INFK , D-MATH , D-ITET

Introduction to discrete event systems. We study popular models of discrete event systems, learn how to analyze them, as well as verify them. Topics include: Automata and Languages, Specification Models, Stochastic Discrete Event Systems (Markov Chains), Verification.