Showing
1 - 1
results of
1
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Peter Würtz Vinther Tran-Jørgensen
Search Results - Peter Würtz Vinther Tran-Jørgensen
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
A Survey of Practical Formal Methods for Security
by
Kulik, Tomas
,
Dongol, Brijesh
,
Peter Gorm Larsen
,
Macedo, Hugo Daniel
,
Schneider, Steve
,
Peter Würtz Vinther Tran-Jørgensen
,
Woodcock, Jim
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Full Text
1 results
1
Format
Articles
1 results
1
Subjects
Best Practice
1 results
1
Computation
1 results
1
Cybersecurity
1 results
1
Formal Method
1 results
1
Safety Critical
1 results
1
State-Of-The-Art Reviews
1 results
1
Taxonomy
1 results
1
Trends
1 results
1
Year of Publication
From:
To:
Source
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Road: Directory Of Open Access Scholarly Resources
1 results
1
Access Via Proquest (Open Access)
1 results
1