English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Formal verification as a design tool - the transponder lock example
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1997
Conference Paper
Title
Formal verification as a design tool - the transponder lock example
Author(s)
Budde, R.
Merceron, A.
Sylla, K.-H.
Mainwork
SAFECOMP 96
Conference
International Conference on Computer Safety, Reliability and Security (SAFECOMP) 1996
Language
English
AIS
