Environment Modelling in Closed Specifications of Embedded Systems

Mika Katara, Arto Luoma. Environment Modelling in Closed Specifications of Embedded Systems. In Bernd Kleinjohann, editor, Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany. Volume 189 of IFIP Conference Proceedings, pages 141-150, Kluwer, 2000.

Authors

Mika Katara

This author has not been identified. Look up 'Mika Katara' in Google

Arto Luoma

This author has not been identified. Look up 'Arto Luoma' in Google