Supporting UML-based development of embedded systems by formal techniques

Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein. Supporting UML-based development of embedded systems by formal techniques. Software and Systems Modeling, 7(2):131-155, 2008. [doi]

Authors

Jozef Hooman

This author has not been identified. Look up 'Jozef Hooman' in Google

Hillel Kugler

This author has not been identified. Look up 'Hillel Kugler' in Google

Iulian Ober

This author has not been identified. Look up 'Iulian Ober' in Google

Angelika Votintseva

This author has not been identified. Look up 'Angelika Votintseva' in Google

Yuri Yushtein

This author has not been identified. Look up 'Yuri Yushtein' in Google