Maude as a wide-spectrum framework for formal modeling and analysis of active networks

J. Meseguer, P. C. Olveczky, M. O. Stehr, C. Talcott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Maude as a wide-spectrum framework for formal modeling and analysis of active networks'. Together they form a unique fingerprint.

Engineering & Materials Science