Title of article
An integrated development environment for Java Card
Author/Authors
Isabelle Attali، نويسنده , , Denis Caromel، نويسنده , , Carine Courbis، نويسنده , , Ludovic Henrio، نويسنده , , Henrik Nilsson، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
15
From page
391
To page
405
Keywords
Development environment , simulation , Formal specification , Java Card
Journal title
Computer Networks
Serial Year
2001
Journal title
Computer Networks
Record number
298998
Link To Document