ISIS: Runtime verification of TLM platforms.

Luca Ferro, Laurence Pierre

Browse the full FDL paper archive.