Travelled to:1 × Germany
Collaborated with:S.Kowalewski
Talks about:discret (2) time (2) framework (1) modular (1) control (1) system (1) condit (1) chemic (1) verif (1) plant (1)
Person: Jörg Preußig
DBLP: Preu=szlig=ig:J=ouml=rg
Contributed to:
1996Wrote 1 papers:
- TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.