Skip to content

Formal Analysis of a Triplex Sensor Voter in an Industrial Context.

Michael Dierkes

VenueCFMICS
Year2011
ProceedingsFMICS

Browse the full FMICS paper archive.