Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320021907> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4320021907 endingPage "393" @default.
- W4320021907 startingPage "387" @default.
- W4320021907 abstract "Modeling and verification issues of software systems have a significant place in the study of the mathematical theory of programming. This is mostly due to the importance of establishing a theoretical basis for the creation of dependable software. This page describes in depth Model Checking, the most used method for modeling and verifying software systems." @default.
- W4320021907 created "2023-02-11" @default.
- W4320021907 creator A5025283236 @default.
- W4320021907 date "2022-12-20" @default.
- W4320021907 modified "2023-09-26" @default.
- W4320021907 title "Designing artificial intelligence for deep software testing using the method of Model Checking" @default.
- W4320021907 doi "https://doi.org/10.51582/interconf.19-20.12.2022.039" @default.
- W4320021907 hasPublicationYear "2022" @default.
- W4320021907 type Work @default.
- W4320021907 citedByCount "0" @default.
- W4320021907 crossrefType "journal-article" @default.
- W4320021907 hasAuthorship W4320021907A5025283236 @default.
- W4320021907 hasBestOaLocation W43200219071 @default.
- W4320021907 hasConcept C110251889 @default.
- W4320021907 hasConcept C115903868 @default.
- W4320021907 hasConcept C127413603 @default.
- W4320021907 hasConcept C149091818 @default.
- W4320021907 hasConcept C154945302 @default.
- W4320021907 hasConcept C186846655 @default.
- W4320021907 hasConcept C199360897 @default.
- W4320021907 hasConcept C21547014 @default.
- W4320021907 hasConcept C2777904410 @default.
- W4320021907 hasConcept C33054407 @default.
- W4320021907 hasConcept C41008148 @default.
- W4320021907 hasConcept C48002344 @default.
- W4320021907 hasConceptScore W4320021907C110251889 @default.
- W4320021907 hasConceptScore W4320021907C115903868 @default.
- W4320021907 hasConceptScore W4320021907C127413603 @default.
- W4320021907 hasConceptScore W4320021907C149091818 @default.
- W4320021907 hasConceptScore W4320021907C154945302 @default.
- W4320021907 hasConceptScore W4320021907C186846655 @default.
- W4320021907 hasConceptScore W4320021907C199360897 @default.
- W4320021907 hasConceptScore W4320021907C21547014 @default.
- W4320021907 hasConceptScore W4320021907C2777904410 @default.
- W4320021907 hasConceptScore W4320021907C33054407 @default.
- W4320021907 hasConceptScore W4320021907C41008148 @default.
- W4320021907 hasConceptScore W4320021907C48002344 @default.
- W4320021907 hasIssue "28(137)" @default.
- W4320021907 hasLocation W43200219071 @default.
- W4320021907 hasOpenAccess W4320021907 @default.
- W4320021907 hasPrimaryLocation W43200219071 @default.
- W4320021907 hasRelatedWork W1543167779 @default.
- W4320021907 hasRelatedWork W1965330114 @default.
- W4320021907 hasRelatedWork W2041780377 @default.
- W4320021907 hasRelatedWork W2107218056 @default.
- W4320021907 hasRelatedWork W2107631496 @default.
- W4320021907 hasRelatedWork W2117344694 @default.
- W4320021907 hasRelatedWork W2181429460 @default.
- W4320021907 hasRelatedWork W3027371154 @default.
- W4320021907 hasRelatedWork W3155860078 @default.
- W4320021907 hasRelatedWork W109480154 @default.
- W4320021907 isParatext "false" @default.
- W4320021907 isRetracted "false" @default.
- W4320021907 workType "article" @default.