Verifying System-Wide Properties of Industrial Component-Based Software

Thomas Neele, Marijn Rol, Jan Friso Groote. Verifying System-Wide Properties of Industrial Component-Based Software. In Proceedings of FSEN 2019. 2019.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.