AutoFOCUS and the MoDe Tool

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn. AutoFOCUS and the MoDe Tool. In 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal. pages 249-250, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.