Matches in SemOpenAlex for { <https://semopenalex.org/work/W2377676675> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2377676675 abstract "Formal methods are regarded as indispensable tools in high trusted software engineering,but software testing is the most effective method for ensuring software quality.With an integrated TTCN-3 test environment,an expansible framework,using feedback and integrating formal specification and formal proof methods,has been proposed.This approach organically combines formal methods with test engineering in the framework to effectively improve the adequacy and the effectiveness of software testing." @default.
- W2377676675 created "2016-06-24" @default.
- W2377676675 creator A5072576273 @default.
- W2377676675 date "2010-01-01" @default.
- W2377676675 modified "2023-09-27" @default.
- W2377676675 title "Integrated framework for the verification and testing of trusted network software based on Feedback" @default.
- W2377676675 hasPublicationYear "2010" @default.
- W2377676675 type Work @default.
- W2377676675 sameAs 2377676675 @default.
- W2377676675 citedByCount "0" @default.
- W2377676675 crossrefType "journal-article" @default.
- W2377676675 hasAuthorship W2377676675A5072576273 @default.
- W2377676675 hasConcept C115903868 @default.
- W2377676675 hasConcept C127413603 @default.
- W2377676675 hasConcept C186846655 @default.
- W2377676675 hasConcept C199360897 @default.
- W2377676675 hasConcept C21547014 @default.
- W2377676675 hasConcept C2777904410 @default.
- W2377676675 hasConcept C33054407 @default.
- W2377676675 hasConcept C41008148 @default.
- W2377676675 hasConcept C48002344 @default.
- W2377676675 hasConcept C529173508 @default.
- W2377676675 hasConcept C75606506 @default.
- W2377676675 hasConceptScore W2377676675C115903868 @default.
- W2377676675 hasConceptScore W2377676675C127413603 @default.
- W2377676675 hasConceptScore W2377676675C186846655 @default.
- W2377676675 hasConceptScore W2377676675C199360897 @default.
- W2377676675 hasConceptScore W2377676675C21547014 @default.
- W2377676675 hasConceptScore W2377676675C2777904410 @default.
- W2377676675 hasConceptScore W2377676675C33054407 @default.
- W2377676675 hasConceptScore W2377676675C41008148 @default.
- W2377676675 hasConceptScore W2377676675C48002344 @default.
- W2377676675 hasConceptScore W2377676675C529173508 @default.
- W2377676675 hasConceptScore W2377676675C75606506 @default.
- W2377676675 hasLocation W23776766751 @default.
- W2377676675 hasOpenAccess W2377676675 @default.
- W2377676675 hasPrimaryLocation W23776766751 @default.
- W2377676675 hasRelatedWork W1513470120 @default.
- W2377676675 hasRelatedWork W1541548479 @default.
- W2377676675 hasRelatedWork W1578361860 @default.
- W2377676675 hasRelatedWork W2033050790 @default.
- W2377676675 hasRelatedWork W2041481688 @default.
- W2377676675 hasRelatedWork W2098868862 @default.
- W2377676675 hasRelatedWork W2135654320 @default.
- W2377676675 hasRelatedWork W2144950612 @default.
- W2377676675 hasRelatedWork W2148664104 @default.
- W2377676675 hasRelatedWork W2152708691 @default.
- W2377676675 hasRelatedWork W2171025871 @default.
- W2377676675 hasRelatedWork W2353267517 @default.
- W2377676675 hasRelatedWork W2547116018 @default.
- W2377676675 hasRelatedWork W2745949103 @default.
- W2377676675 hasRelatedWork W2783105925 @default.
- W2377676675 hasRelatedWork W2796400167 @default.
- W2377676675 hasRelatedWork W2893594427 @default.
- W2377676675 hasRelatedWork W313480774 @default.
- W2377676675 hasRelatedWork W2095075161 @default.
- W2377676675 hasRelatedWork W2119022020 @default.
- W2377676675 isParatext "false" @default.
- W2377676675 isRetracted "false" @default.
- W2377676675 magId "2377676675" @default.
- W2377676675 workType "article" @default.