Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> V. Wiels
"V. Wiels" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 5 of 5 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Using a logical and categorical approach for the validation of fault-tolerant systems
C. Seguin
;
V. Wiels
FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Marie-Claude Gaudel
;
James Woodcock
1996
Springer Berlin Heidelberg
Formal Modeling of Space Shuttle Software Change Requests Using SCR
V. Wiels and S. Easterbrook
IEEE International Symposium on Requirements Engineering: proceedings: June 7-11, 1999, University of Limerick, Limerick, Ireland /
IEEE International Symposium on Requirements Engineering (4th 1999 Limerick, Ireland)
[1999], ©1999.
IEEE Computer Society Press,
Using Formal Verification Techniques to Reduce Simulation and Test Effort
O. Laurent
;
P. Michel
;
V. Wiels
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Jose N. Oliveira
;
Pamela Zave
2001
Springer Berlin Heidelberg
Checking Secure Interactions of Smart Card Applets
P. Bieber
;
J. Cazin
;
P. Girard
;
J. -L. Lanet
;
V. Wiels
;
G. Zanon
Computer Security - ESORICS 2000: 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings
Frederic Cuppens
;
Yves Deswarte
;
Dieter Gollmann
;
Michael Waidner
2000
Springer Berlin Heidelberg
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow
P. Bieber
;
J. Cazin
;
V. Wiels
;
G. Zanon
;
El Marouan
;
P. Girard et al.
Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers
Isabelle Attali
;
Thomas Jensen
2001
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 5 of 5 entries
«
‹
1
›
»