Ready for testing: ensuring conformance to industrial standards through formal verification

Sergio Feo-Arenis*, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Siyar Andisha, Andreas Podelski

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

16 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftFormal Aspects of Computing
Vol/bind28
Udgave nummer3
Sider (fra-til)499-527
Antal sider29
ISSN0934-5043
DOI
StatusUdgivet - 2016

Fingeraftryk

Dyk ned i forskningsemnerne om 'Ready for testing: ensuring conformance to industrial standards through formal verification'. Sammen danner de et unikt fingeraftryk.

Citationsformater