Early validation of requirements: A case study using formal methods

Steven P. Miller, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Early validation of requirements: A case study using formal methods'. Together they form a unique fingerprint.

Keyphrases

Engineering

Computer Science