Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT.
Add to Reading List
Document Date: 2018-06-13 06:07:43
Open Document
File Size: 421,78 KB
Share Result on Facebook
Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT.