Matches in SemOpenAlex for { <https://semopenalex.org/work/W2364844580> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2364844580 abstract "The application of formal methods to the modeling and analysis of electronic commerce systems can test the errors in the design of the systems, and verify the correctness and soundness properties of the systems. The existing formal approaches in the systems may be divided into four categories, and the advantages and disadvantages of one category are analyzed in this paper. Also,the characteristics of the four categories are compared in detail. Finally, future work is proposed." @default.
- W2364844580 created "2016-06-24" @default.
- W2364844580 creator A5028201319 @default.
- W2364844580 date "2005-01-01" @default.
- W2364844580 modified "2023-09-26" @default.
- W2364844580 title "Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems (II)" @default.
- W2364844580 hasPublicationYear "2005" @default.
- W2364844580 type Work @default.
- W2364844580 sameAs 2364844580 @default.
- W2364844580 citedByCount "0" @default.
- W2364844580 crossrefType "journal-article" @default.
- W2364844580 hasAuthorship W2364844580A5028201319 @default.
- W2364844580 hasConcept C111498074 @default.
- W2364844580 hasConcept C115903868 @default.
- W2364844580 hasConcept C199360897 @default.
- W2364844580 hasConcept C2985583900 @default.
- W2364844580 hasConcept C39920170 @default.
- W2364844580 hasConcept C41008148 @default.
- W2364844580 hasConcept C55439883 @default.
- W2364844580 hasConcept C75606506 @default.
- W2364844580 hasConcept C80444323 @default.
- W2364844580 hasConceptScore W2364844580C111498074 @default.
- W2364844580 hasConceptScore W2364844580C115903868 @default.
- W2364844580 hasConceptScore W2364844580C199360897 @default.
- W2364844580 hasConceptScore W2364844580C2985583900 @default.
- W2364844580 hasConceptScore W2364844580C39920170 @default.
- W2364844580 hasConceptScore W2364844580C41008148 @default.
- W2364844580 hasConceptScore W2364844580C55439883 @default.
- W2364844580 hasConceptScore W2364844580C75606506 @default.
- W2364844580 hasConceptScore W2364844580C80444323 @default.
- W2364844580 hasLocation W23648445801 @default.
- W2364844580 hasOpenAccess W2364844580 @default.
- W2364844580 hasPrimaryLocation W23648445801 @default.
- W2364844580 hasRelatedWork W1481518662 @default.
- W2364844580 hasRelatedWork W1560121789 @default.
- W2364844580 hasRelatedWork W1965756019 @default.
- W2364844580 hasRelatedWork W2003404398 @default.
- W2364844580 hasRelatedWork W2033616587 @default.
- W2364844580 hasRelatedWork W2065501370 @default.
- W2364844580 hasRelatedWork W2214314364 @default.
- W2364844580 hasRelatedWork W2272271980 @default.
- W2364844580 hasRelatedWork W2349093121 @default.
- W2364844580 hasRelatedWork W2349269724 @default.
- W2364844580 hasRelatedWork W2351437753 @default.
- W2364844580 hasRelatedWork W2387009829 @default.
- W2364844580 hasRelatedWork W2390841910 @default.
- W2364844580 hasRelatedWork W2393395175 @default.
- W2364844580 hasRelatedWork W2726140595 @default.
- W2364844580 hasRelatedWork W2900071176 @default.
- W2364844580 hasRelatedWork W3034922941 @default.
- W2364844580 hasRelatedWork W47868186 @default.
- W2364844580 hasRelatedWork W592481235 @default.
- W2364844580 hasRelatedWork W637782673 @default.
- W2364844580 isParatext "false" @default.
- W2364844580 isRetracted "false" @default.
- W2364844580 magId "2364844580" @default.
- W2364844580 workType "article" @default.