High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.

Roozbeh Farahbod, Uwe Glsser, Piper J. Jackson, Mona Vajihollahi

Browse the full ISoLA paper archive.