Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118077887> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2118077887 abstract "This paper presents a formal specification of Mondex, an electronic purse, using SAM. Mondex is the first pilot project for the 6th Grand Challenge to develop an integrated, automated toolset that developers can use to establish the correctness of software. Several research groups around the world have applied different formal methods in specifying and analyzing the Mondex smart card since 2006. Our specification is unique, which uses a software architecture model integrating high level Petri nets and temporal logic; thus contributes to the world wide effort in tackling one of the grand challenges in computer sciences." @default.
- W2118077887 created "2016-06-24" @default.
- W2118077887 creator A5009723525 @default.
- W2118077887 creator A5021947408 @default.
- W2118077887 creator A5075750684 @default.
- W2118077887 date "2008-12-01" @default.
- W2118077887 modified "2023-09-23" @default.
- W2118077887 title "A Formal Specification of Mondex Using SAM" @default.
- W2118077887 cites W1564123263 @default.
- W2118077887 cites W1965171366 @default.
- W2118077887 cites W1972153061 @default.
- W2118077887 cites W1985556278 @default.
- W2118077887 cites W1989688706 @default.
- W2118077887 cites W2003313790 @default.
- W2118077887 cites W2009752377 @default.
- W2118077887 cites W2039171566 @default.
- W2118077887 cites W2104961083 @default.
- W2118077887 cites W2106901380 @default.
- W2118077887 cites W2121277374 @default.
- W2118077887 cites W21738827 @default.
- W2118077887 doi "https://doi.org/10.1109/sose.2008.25" @default.
- W2118077887 hasPublicationYear "2008" @default.
- W2118077887 type Work @default.
- W2118077887 sameAs 2118077887 @default.
- W2118077887 citedByCount "3" @default.
- W2118077887 countsByYear W21180778872014 @default.
- W2118077887 crossrefType "proceedings-article" @default.
- W2118077887 hasAuthorship W2118077887A5009723525 @default.
- W2118077887 hasAuthorship W2118077887A5021947408 @default.
- W2118077887 hasAuthorship W2118077887A5075750684 @default.
- W2118077887 hasConcept C110406131 @default.
- W2118077887 hasConcept C111498074 @default.
- W2118077887 hasConcept C111919701 @default.
- W2118077887 hasConcept C115903868 @default.
- W2118077887 hasConcept C116253237 @default.
- W2118077887 hasConcept C199360897 @default.
- W2118077887 hasConcept C38677869 @default.
- W2118077887 hasConcept C41008148 @default.
- W2118077887 hasConcept C55439883 @default.
- W2118077887 hasConcept C75606506 @default.
- W2118077887 hasConceptScore W2118077887C110406131 @default.
- W2118077887 hasConceptScore W2118077887C111498074 @default.
- W2118077887 hasConceptScore W2118077887C111919701 @default.
- W2118077887 hasConceptScore W2118077887C115903868 @default.
- W2118077887 hasConceptScore W2118077887C116253237 @default.
- W2118077887 hasConceptScore W2118077887C199360897 @default.
- W2118077887 hasConceptScore W2118077887C38677869 @default.
- W2118077887 hasConceptScore W2118077887C41008148 @default.
- W2118077887 hasConceptScore W2118077887C55439883 @default.
- W2118077887 hasConceptScore W2118077887C75606506 @default.
- W2118077887 hasLocation W21180778871 @default.
- W2118077887 hasOpenAccess W2118077887 @default.
- W2118077887 hasPrimaryLocation W21180778871 @default.
- W2118077887 hasRelatedWork W1503178494 @default.
- W2118077887 hasRelatedWork W1563771073 @default.
- W2118077887 hasRelatedWork W1581526118 @default.
- W2118077887 hasRelatedWork W1585321256 @default.
- W2118077887 hasRelatedWork W1597597039 @default.
- W2118077887 hasRelatedWork W1903332351 @default.
- W2118077887 hasRelatedWork W2100731616 @default.
- W2118077887 hasRelatedWork W2105778188 @default.
- W2118077887 hasRelatedWork W2113319802 @default.
- W2118077887 hasRelatedWork W2116396384 @default.
- W2118077887 hasRelatedWork W2140833016 @default.
- W2118077887 hasRelatedWork W2148513795 @default.
- W2118077887 hasRelatedWork W2167849549 @default.
- W2118077887 hasRelatedWork W2171459887 @default.
- W2118077887 hasRelatedWork W2395615840 @default.
- W2118077887 hasRelatedWork W2603287349 @default.
- W2118077887 hasRelatedWork W2729679248 @default.
- W2118077887 hasRelatedWork W2975846617 @default.
- W2118077887 hasRelatedWork W3194120901 @default.
- W2118077887 hasRelatedWork W68260282 @default.
- W2118077887 isParatext "false" @default.
- W2118077887 isRetracted "false" @default.
- W2118077887 magId "2118077887" @default.
- W2118077887 workType "article" @default.