English
Anmelden
Open Access
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Forschungsschwerpunkt
Embedded Systems & Cyber-Physical Systems
Filtern
Schlagworte
Assertion-based Verification (1)
(entfernen)
1
Treffer
1
bis
1
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Checking Application-level Properties Using Assertion Synthesis
(2019)
Wenzl, Matthias
;
Rössler, Peter
;
Puhm, Andreas
1
bis
1