Skip to Main content Skip to Navigation
New interface
Conference papers

Formal verification and validation of interactive systems specifications from informal specifications to formal validation

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03777804
Contributor : Emmanuelle Choiseau Connect in order to contact the contributor
Submitted on : Tuesday, September 27, 2022 - 4:24:35 PM
Last modification on : Wednesday, November 9, 2022 - 3:37:56 AM

File

HESSD04_AitAmeur.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Yamine Aït-Ameur, Benoit Bréholée, Patrick Girard, Laurent Guittet, Francis Jambon. Formal verification and validation of interactive systems specifications from informal specifications to formal validation. Proc. Conference of Human Error, Safety and Systems Development (HESSD 2004), Aug 2004, Toulouse, France. pp.61-76, ⟨10.1007/1-4020-8153-7_5⟩. ⟨hal-03777804⟩

Share

Metrics

Record views

2

Files downloads

0