Model-Driven Development with the jABC

Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak. Model-Driven Development with the jABC. In Eyal Bin, Avi Ziv, Shmuel Ur, editors, Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Volume 4383 of Lecture Notes in Computer Science, pages 92-108, Springer, 2006. [doi]

Authors

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Ralf Nagel

This author has not been identified. Look up 'Ralf Nagel' in Google

Sven Jörges

This author has not been identified. Look up 'Sven Jörges' in Google

Christian Kubczak

This author has not been identified. Look up 'Christian Kubczak' in Google