Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata

Dirk Beyer, Heinrich Rust. Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 148-159, Verlag Shaker, 1998.

Abstract

Abstract is missing.