Reuse of formal verification efforts of incomplete models at the requirements specification stage
- Díaz-Redondo, R.P.
- Pazos-Arias, J.J.
- Fernández-Vilas, A.
ISSN: 1611-3349, 0302-9743
Argitalpen urtea: 2003
Alea: 2693
Orrialdeak: 326-351
Mota: Artikulua