Towards Compositional Verification in MEDISTAM-RT Methodological Framework.

Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera

Browse the full IWANN paper archive.