Metadata only
Autor(in)
Alle anzeigen
Datum
2004Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedBuchtitel
FMICS 2001 - Formal Methods for Industrial Critical Systems: ProceedingsSeiten / Artikelnummer
Verlag
INRIAKonferenz
Thema
Automatic test case generation; CASE; Reactive systems; ValidationOrganisationseinheit
03634 - Basin, David / Basin, David
Anmerkungen
Conference lecture on July 16, 2001.ETH Bibliographie
yes
Altmetrics