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]

Authors

Jan Romberg

This author has not been identified. Look up 'Jan Romberg' in Google

Jan Jürjens

This author has not been identified. Look up 'Jan Jürjens' in Google

Guido Wimmel

This author has not been identified. Look up 'Guido Wimmel' in Google

Oscar Slotosch

This author has not been identified. Look up 'Oscar Slotosch' in Google

Gabor Hahn

This author has not been identified. Look up 'Gabor Hahn' in Google