Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking

Thumbnail Image

Files

Primary 60262.pdf (178.01 KB)

Date

2004

Authors

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W. Frits

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer-Verlag

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/60262

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By