Model based component development and analysis with ComMA

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik. Model based component development and analysis with ComMA. Science of Computer Programming, 233:103067, 2024. [doi]

Authors

Ivan Kurtev

This author has not been identified. Look up 'Ivan Kurtev' in Google

Jozef Hooman

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

Mathijs Schuts

This author has not been identified. Look up 'Mathijs Schuts' in Google

Daan van der Munnik

This author has not been identified. Look up 'Daan van der Munnik' in Google