Login / Signup

Completeness in formal specification language design for process-control systems.

Nancy G. Leveson
Published in: FMSP (2000)
Keyphrases