Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Keywords
Assertion-based Verification (1)
(remove)
1
search hit
1
to
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
to
1