Metadata only
Autor(in)
Alle anzeigen
Datum
2003Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedZeitschrift / Serie
Theoretical Computer ScienceBand
Seiten / Artikelnummer
Verlag
ElsevierThema
Automated testing, Test case generation, Model checking, Symbolic execution, Runtime verification, Temporal logic, Concurrency analysis, NASA rover controllerOrganisationseinheit
03422 - Gross, Thomas (emeritus) / Gross, Thomas (emeritus)
ETH Bibliographie
yes
Altmetrics