Self-organising assembly systems formally specified in Maude

R. Frei, T.F. Serbanuta, G. Di Marzo Serugendo

    Research output: Contribution to journalArticlepeer-review

    404 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Self-organising assembly systems formally specified in Maude'. Together they form a unique fingerprint.

    INIS

    Computer Science

    Physics