Skip to content

Releases: remaro-network/Maude_Metacontrol

ISOLA2022

18 Aug 11:37
@JulianePa JulianePa
ISOLA2022
b37f998
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
ISOLA2022 Latest
Latest

The version of the model as described in the paper presented in ISOLA 2022.

Assets 2
Loading