Projects




Version 1 (modified by Eva Müller, 14 years ago) (diff)

--

Monday: Sep, 13th 2010

Lectures by

Wojciech Penzeck (Warsaw, Poland)

https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg

  • Introduction to state space-based verification
  • Formal modelling of protocols: Petri nets and automata

and Lars M. Kristensen (Bergen, Norway)

https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg