Showing
1 - 1
results of
1
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - 9783319471655
Suggested Topics within your search.
Suggested Topics within your search.
Computer software
1
Formal methods (Computer science)
1
Machine learning
1
Programming
1
Robots
1
Verification
1
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,...
Published 2016
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
1 results
1
Item type
Ebook
1 results
1
Year of Publication
From:
To:
Items from Articles & more search
A Privacy-Aware Conceptual Model for Handling Personal Data.
by
Antignac, Thibaud
, et al.
Security and Privacy of Protocols and Software with Formal Methods.
by
Biondi, Fabrizio
, et al.
Guaranteeing Privacy-Observing Data Exchange.
by
Probst, Christian W.
Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.
by
Beyer, Dirk
A Model-Based Approach to Secure Multiparty Distributed Systems.
by
Said, Najah Ben
, et al.
More results…