Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems: FMWS’08 Toronto, Canada 23 August 2008

Jens Christian Godskesen (Editor), Massimo Merro (Editor)

Research output: Book / Anthology / ReportReportResearch

Fingerprint

Dive into the research topics of 'Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems: FMWS’08 Toronto, Canada 23 August 2008'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering