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.

Abstract

Abstract is missing.