Virginie Wiels

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Christel Seguin

> Home > Persons > Virginie Wiels

Publications

2006
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LaurentSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LaurentSW06
Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
2004
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip/DurrieuLSW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/DurrieuLSW04
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels:
Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SeguinW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SeguinW96
Christel Seguin, Virginie Wiels:
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME 1996: 347-366

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.