A Dual Language Approach to the Development of Time-Critical Systems

Luigi Lavazza, Sandro Morasca, Angelo Morzenti. A Dual Language Approach to the Development of Time-Critical Systems. Electronic Notes in Theoretical Computer Science, 116:227-239, 2005. [doi]

Abstract

Abstract is missing.