Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Assisted Coverage Closure
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Assisted Coverage Closure
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Assisted Coverage Closure
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Assisted Coverage Closure
View/
Open
Tautschnig Assisted Coverage Closure 2015 Accepted.pdf (438.3Kb)
Volume
9690
Pagination
49 - 64
DOI
10.1007/978-3-319-40648-0_5
Journal
NASA FORMAL METHODS, NFM 2016
ISSN
0302-9743
Metadata
Show full item record
Authors
Nellis, A; Kesseli, P; Conmy, PR; Kroening, D; Schrammel, P; Tautschnig, M
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/11330
Collections
Electronic Engineering and Computer Science
[4088]