Deriving hard real-time embedded systems implementations directly from SDL specifications

José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. Deriving hard real-time embedded systems implementations directly from SDL specifications. In Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu, editors, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. pages 128-133, ACM, 2001. [doi]

Abstract

Abstract is missing.