Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570605839> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1570605839 endingPage "74" @default.
- W1570605839 startingPage "69" @default.
- W1570605839 abstract "Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques." @default.
- W1570605839 created "2016-06-24" @default.
- W1570605839 creator A5029757626 @default.
- W1570605839 creator A5030367765 @default.
- W1570605839 creator A5039001385 @default.
- W1570605839 creator A5051474976 @default.
- W1570605839 creator A5059683769 @default.
- W1570605839 date "2005-01-01" @default.
- W1570605839 modified "2023-09-23" @default.
- W1570605839 title "Design Verification of Web Applications Using Symbolic Model Checking" @default.
- W1570605839 cites W1516505746 @default.
- W1570605839 cites W1528607544 @default.
- W1570605839 cites W1647641001 @default.
- W1570605839 cites W2003444513 @default.
- W1570605839 cites W2048779903 @default.
- W1570605839 cites W2063358702 @default.
- W1570605839 cites W2083583325 @default.
- W1570605839 cites W2086099967 @default.
- W1570605839 cites W2101423475 @default.
- W1570605839 cites W2108683925 @default.
- W1570605839 cites W3164293429 @default.
- W1570605839 doi "https://doi.org/10.1007/11531371_12" @default.
- W1570605839 hasPublicationYear "2005" @default.
- W1570605839 type Work @default.
- W1570605839 sameAs 1570605839 @default.
- W1570605839 citedByCount "26" @default.
- W1570605839 countsByYear W15706058392012 @default.
- W1570605839 countsByYear W15706058392013 @default.
- W1570605839 countsByYear W15706058392014 @default.
- W1570605839 countsByYear W15706058392015 @default.
- W1570605839 countsByYear W15706058392016 @default.
- W1570605839 countsByYear W15706058392017 @default.
- W1570605839 countsByYear W15706058392018 @default.
- W1570605839 crossrefType "book-chapter" @default.
- W1570605839 hasAuthorship W1570605839A5029757626 @default.
- W1570605839 hasAuthorship W1570605839A5030367765 @default.
- W1570605839 hasAuthorship W1570605839A5039001385 @default.
- W1570605839 hasAuthorship W1570605839A5051474976 @default.
- W1570605839 hasAuthorship W1570605839A5059683769 @default.
- W1570605839 hasBestOaLocation W15706058391 @default.
- W1570605839 hasConcept C104317684 @default.
- W1570605839 hasConcept C110251889 @default.
- W1570605839 hasConcept C112313634 @default.
- W1570605839 hasConcept C115903868 @default.
- W1570605839 hasConcept C127413603 @default.
- W1570605839 hasConcept C127716648 @default.
- W1570605839 hasConcept C145644426 @default.
- W1570605839 hasConcept C185592680 @default.
- W1570605839 hasConcept C188082640 @default.
- W1570605839 hasConcept C199360897 @default.
- W1570605839 hasConcept C200601418 @default.
- W1570605839 hasConcept C23123167 @default.
- W1570605839 hasConcept C2777904410 @default.
- W1570605839 hasConcept C41008148 @default.
- W1570605839 hasConcept C55493867 @default.
- W1570605839 hasConcept C98045186 @default.
- W1570605839 hasConceptScore W1570605839C104317684 @default.
- W1570605839 hasConceptScore W1570605839C110251889 @default.
- W1570605839 hasConceptScore W1570605839C112313634 @default.
- W1570605839 hasConceptScore W1570605839C115903868 @default.
- W1570605839 hasConceptScore W1570605839C127413603 @default.
- W1570605839 hasConceptScore W1570605839C127716648 @default.
- W1570605839 hasConceptScore W1570605839C145644426 @default.
- W1570605839 hasConceptScore W1570605839C185592680 @default.
- W1570605839 hasConceptScore W1570605839C188082640 @default.
- W1570605839 hasConceptScore W1570605839C199360897 @default.
- W1570605839 hasConceptScore W1570605839C200601418 @default.
- W1570605839 hasConceptScore W1570605839C23123167 @default.
- W1570605839 hasConceptScore W1570605839C2777904410 @default.
- W1570605839 hasConceptScore W1570605839C41008148 @default.
- W1570605839 hasConceptScore W1570605839C55493867 @default.
- W1570605839 hasConceptScore W1570605839C98045186 @default.
- W1570605839 hasLocation W15706058391 @default.
- W1570605839 hasOpenAccess W1570605839 @default.
- W1570605839 hasPrimaryLocation W15706058391 @default.
- W1570605839 hasRelatedWork W1583364777 @default.
- W1570605839 hasRelatedWork W1978951759 @default.
- W1570605839 hasRelatedWork W1987499160 @default.
- W1570605839 hasRelatedWork W2116419508 @default.
- W1570605839 hasRelatedWork W2151898527 @default.
- W1570605839 hasRelatedWork W2798952660 @default.
- W1570605839 hasRelatedWork W4250917348 @default.
- W1570605839 hasRelatedWork W47563837 @default.
- W1570605839 hasRelatedWork W1894736207 @default.
- W1570605839 hasRelatedWork W2583261385 @default.
- W1570605839 isParatext "false" @default.
- W1570605839 isRetracted "false" @default.
- W1570605839 magId "1570605839" @default.
- W1570605839 workType "book-chapter" @default.