Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897060006> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2897060006 endingPage "125" @default.
- W2897060006 startingPage "109" @default.
- W2897060006 abstract "The EMV® (EMV® is a registered trademark or trademark of EMVCo, LLC in the US and other countries.) organisation specify payment protocols to facilitate worldwide interoperability of secure electronic payments. This paper is about the application and scalability of formal methods to a current and complex industry application. We describe the use of VDM to model EMV® (2^{nd}) Generation Kernel (A preliminary version of this paper was presented at the (16^{th}) Overture Workshop, Oxford July 2018, where papers became a Newcastle Technical Report.). VDM is useful for both formal specification, as well as simulation, test coverage, and proof obligation generation for functional correctness." @default.
- W2897060006 created "2018-10-26" @default.
- W2897060006 creator A5016733090 @default.
- W2897060006 date "2018-01-01" @default.
- W2897060006 modified "2023-09-25" @default.
- W2897060006 title "VDM at Large: Modelling the EMV® $$2^{nd}$$2nd Generation Kernel" @default.
- W2897060006 cites W1554296340 @default.
- W2897060006 cites W1561127208 @default.
- W2897060006 cites W1787500456 @default.
- W2897060006 cites W2003313790 @default.
- W2897060006 cites W2061208918 @default.
- W2897060006 cites W2096473396 @default.
- W2897060006 cites W2159566525 @default.
- W2897060006 cites W2294491635 @default.
- W2897060006 cites W2897389904 @default.
- W2897060006 cites W6894442 @default.
- W2897060006 doi "https://doi.org/10.1007/978-3-030-03044-5_8" @default.
- W2897060006 hasPublicationYear "2018" @default.
- W2897060006 type Work @default.
- W2897060006 sameAs 2897060006 @default.
- W2897060006 citedByCount "1" @default.
- W2897060006 countsByYear W28970600062018 @default.
- W2897060006 crossrefType "book-chapter" @default.
- W2897060006 hasAuthorship W2897060006A5016733090 @default.
- W2897060006 hasConcept C110251889 @default.
- W2897060006 hasConcept C111498074 @default.
- W2897060006 hasConcept C111919701 @default.
- W2897060006 hasConcept C114614502 @default.
- W2897060006 hasConcept C115903868 @default.
- W2897060006 hasConcept C116253237 @default.
- W2897060006 hasConcept C136764020 @default.
- W2897060006 hasConcept C145097563 @default.
- W2897060006 hasConcept C199360897 @default.
- W2897060006 hasConcept C20136886 @default.
- W2897060006 hasConcept C206880738 @default.
- W2897060006 hasConcept C2779027411 @default.
- W2897060006 hasConcept C33923547 @default.
- W2897060006 hasConcept C41008148 @default.
- W2897060006 hasConcept C48044578 @default.
- W2897060006 hasConcept C55439883 @default.
- W2897060006 hasConcept C74193536 @default.
- W2897060006 hasConcept C75606506 @default.
- W2897060006 hasConceptScore W2897060006C110251889 @default.
- W2897060006 hasConceptScore W2897060006C111498074 @default.
- W2897060006 hasConceptScore W2897060006C111919701 @default.
- W2897060006 hasConceptScore W2897060006C114614502 @default.
- W2897060006 hasConceptScore W2897060006C115903868 @default.
- W2897060006 hasConceptScore W2897060006C116253237 @default.
- W2897060006 hasConceptScore W2897060006C136764020 @default.
- W2897060006 hasConceptScore W2897060006C145097563 @default.
- W2897060006 hasConceptScore W2897060006C199360897 @default.
- W2897060006 hasConceptScore W2897060006C20136886 @default.
- W2897060006 hasConceptScore W2897060006C206880738 @default.
- W2897060006 hasConceptScore W2897060006C2779027411 @default.
- W2897060006 hasConceptScore W2897060006C33923547 @default.
- W2897060006 hasConceptScore W2897060006C41008148 @default.
- W2897060006 hasConceptScore W2897060006C48044578 @default.
- W2897060006 hasConceptScore W2897060006C55439883 @default.
- W2897060006 hasConceptScore W2897060006C74193536 @default.
- W2897060006 hasConceptScore W2897060006C75606506 @default.
- W2897060006 hasLocation W28970600061 @default.
- W2897060006 hasOpenAccess W2897060006 @default.
- W2897060006 hasPrimaryLocation W28970600061 @default.
- W2897060006 hasRelatedWork W111900342 @default.
- W2897060006 hasRelatedWork W1502097402 @default.
- W2897060006 hasRelatedWork W1503178494 @default.
- W2897060006 hasRelatedWork W1530339406 @default.
- W2897060006 hasRelatedWork W1535197371 @default.
- W2897060006 hasRelatedWork W1548302252 @default.
- W2897060006 hasRelatedWork W1557009147 @default.
- W2897060006 hasRelatedWork W1581526118 @default.
- W2897060006 hasRelatedWork W2070025566 @default.
- W2897060006 hasRelatedWork W2088654757 @default.
- W2897060006 hasRelatedWork W2097343195 @default.
- W2897060006 hasRelatedWork W2135654320 @default.
- W2897060006 hasRelatedWork W2140413653 @default.
- W2897060006 hasRelatedWork W2167849549 @default.
- W2897060006 hasRelatedWork W2170133326 @default.
- W2897060006 hasRelatedWork W2271534991 @default.
- W2897060006 hasRelatedWork W2293495911 @default.
- W2897060006 hasRelatedWork W301144566 @default.
- W2897060006 hasRelatedWork W332778660 @default.
- W2897060006 hasRelatedWork W837075821 @default.
- W2897060006 isParatext "false" @default.
- W2897060006 isRetracted "false" @default.
- W2897060006 magId "2897060006" @default.
- W2897060006 workType "book-chapter" @default.