BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B

BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B

Made available in DSpace on 2014-12-17T15:47:44Z (GMT). No. of bitstreams: 1 BrunoEGG.pdf: 1320681 bytes, checksum: 897ca75ef7f0e564e8588d949fcc67d5 (MD5) Previous issue date: 2007-11-19 === Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior === Java Card technology allows the development...

Full description

Bibliographic Details
Main Author: Gomes, Bruno Emerson Gurgel
Other Authors: CPF:82573611787
Format: Others
Language:Portuguese
Published: Universidade Federal do Rio Grande do Norte 2014
Subjects:
Java Card
M?todos formais
M?todo B
Gera??o de c?digo.
Formal methods,
B method
Code generation
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Online Access:http://repositorio.ufrn.br:8080/jspui/handle/123456789/17964

Internet

http://repositorio.ufrn.br:8080/jspui/handle/123456789/17964

Similar Items