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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.