Formal requirements engineering method for specification, synthesis, and verification

M. von der Beeck, T. Margaria, B. Steffen

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Formal requirements engineering method for specification, synthesis, and verification'. Together they form a unique fingerprint.

Computer Science