Applying the B Method for the Rigorous Development of Smart Card Applications (English)
- New search for: Gomes, B.
- New search for: Deharbe, D.
- New search for: Moreira, A.
- New search for: Moraes, K.
- New search for: Gomes, B.
- New search for: Deharbe, D.
- New search for: Moreira, A.
- New search for: Moraes, K.
- New search for: Frappier, M.
- New search for: Glasser, U.
- New search for: Khurshid, S.
- New search for: Laleau, R.
- New search for: Reeves, S.
In:
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 Proceedings
5977
;
203-216
;
2010
-
ISSN:
- Article (Journal) / Print
-
Title:Applying the B Method for the Rigorous Development of Smart Card Applications
-
Contributors:Gomes, B. ( author ) / Deharbe, D. ( author ) / Moreira, A. ( author ) / Moraes, K. ( author ) / Frappier, M. / Glasser, U. / Khurshid, S. / Laleau, R. / Reeves, S.
-
Published in:Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 Proceedings , 5977 ; 203-216LECTURE NOTES IN COMPUTER SCIENCE , 5977 ; 203-216
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2010-01-01
-
Size:14 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.