Formal methods for smart cards: an experience report (Q1776578)

From MaRDI portal
Revision as of 02:54, 25 June 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q57491357, #quickstatements; #temporary_batch_1719280132499)
scientific article
Language Label Description Also known as
English
Formal methods for smart cards: an experience report
scientific article

    Statements

    title
    Formal methods for smart cards: an experience report (English)
    0 references
    author
    C.-B. Breunesse
    0 references
    N. Cataño
    0 references
    Marieke Huisman
    0 references
    Bart Jacobs
    0 references
    publication date
    12 May 2005
    0 references
    zbMATH Keywords
    Formal specification languages
    0 references
    Smart cards
    0 references
    Java Card
    0 references
    Formal verification
    0 references
    JML
    0 references
    ESC/Java
    0 references
    Annotations
    0 references
    describes a project that uses
    JML
    0 references
    ESC/Java
    0 references
    PVS
    0 references

    Identifiers

    zbMATH DE Number
    2167612
    0 references
    OpenAlex ID
    W2167849549
    0 references
    Wikidata QID
    Q57491357
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1776578&oldid=34899705"
    Powered by MediaWiki