Sign in
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Ana Fernández Vilas
Published in:
Component-Based Software Quality (2003)
Keyphrases
</>
formal verification
requirements specification
artificial intelligence