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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.