Showing
1 - 3
results of
3
for search '
'
Skip to content
Toggle navigation
Simmons University
Course Reserves
Databases
Journals
Research Guides
Your Account
Log Out
Log In
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Search Tips
Format:
Conference Proceeding
Suggested Subjects:
Verification
Show filters (2)
Format:
Conference Proceeding
Suggested Subjects:
Verification
Library Catalog | Simmons University
Suggested Subjects within your search.
Suggested Subjects within your search.
Computer software
3
Verification
Computer security
2
Computer systems
1
Mathematical models
1
Security measures
1
System theory
1
more ...
less ...
Showing
1 - 3
results of
3
for search '
'
, query time: 0.03s
Refine Results
Email this Search
—
Save Search
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Results per page
50
100
150
200
1
Verification of infinite-state systems with applications to security edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Published 2006
Call Number:
Loading...
Located:
Loading...
Access E-Book
Electronic
Conference Proceeding
eBook
Save to List
Saved in:
2
Software safety and security tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Published 2012
Call Number:
Loading...
Located:
Loading...
Access E-Book
Electronic
Conference Proceeding
eBook
Save to List
Saved in:
3
Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.
Published 2013
Call Number:
Loading...
Located:
Loading...
Access E-Book
Conference Proceeding
eBook
Save to List
Saved in:
Back
Narrow Search
Year of Publication
From:
To:
Format
Conference Proceeding
eBook
3
Electronic
2
Library of Congress Call Number
Q - Science
3
Author
ProQuest (Firm)
2
Broy, M., 1949-
1
Clarke, Edmund
1
Grumberg, Orna
1
Hauptmann, Benedikt
1
Kalus, Georg
1
more ...
Minea, Marius
1
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania)
1
NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany)
1
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
1
NATO Emerging Security Challenges Division
1
Nipkow, Tobias, 1958-
1
Peled, Doron, 1962-
1
Ţiplea, Ferucio Laurenţiu
1
see all ...
less ...
Genre
Congresses
3
Electronic books
3
Language
English
3
Location
Online Resources
3
Loading...