Specifying and Verifying Hysteresis Signature System with HOL-Z

Metadata Label Value
Author(s): Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo, Wolff, Burkhart
Publisher: ETH, Department of Computer Science
Citation:

Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo and Wolff, Burkhart. Specifying and Verifying Hysteresis Signature System with HOL-Z. ETH, Department of Computer Science (2005). http://dx.doi.org/10.3929/ethz-a-006775722

Document Type: Reports  
Documents: Text (546.14KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Specifying and Verifying Hysteresis Signature System with HOL-Z
Author(s) Basin, David A.
Kuruma, Hironobu
Takaragi, Kazuo
Wolff, Burkhart
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2005
Series Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science 471
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006775722
Subject(s) Software
Keyword(s) SPECIFICATIONS
VERIFICATION
DIGITAL SIGNATURES
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4805-01.pdf application/pdf 546.14KB
Abstract Views and Downloads
Views 40  abstracts
Downloads 15  downloads

Abstract Views and Downloads by Country
Views 25  abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Colombia Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Tue, 20 Dec 2011, 06:15:51 CET