Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
Hartel, P.H. and Butler, M.J. and de Jong, E.K. and Longley, M.
(2001)
Transacted Memory for Smart Cards.
In: 10th Formal Methods for Increasing Software Productivity (FME), Berlin, Germany.
pp. 478-499.
Springer-Verlag.
ISBN 3-540-41791-5
1997
Butler, M.J. and Hartel, P.H. and de Jong, E.K. and Longley, M.
(1997)
Applying Formal Methods to the Design of Smart Card Software.
Technical Report DSSE-TR-97-8,
Department of Electronics and Computer Science, University of Southampton, University of Southampton.
ISSN not assigned
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||