Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911204598> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2911204598 abstract "This paper presents Software-to-hardware Tester, intended for conformance testing of STP-ISS-13 protocol implementation. This Tester is based on a formal model. As formal model authors used a Kripke structure. Paper considers a process of conformance testing by means of computational tree temporal logic and a compilation example of temporal logic formula for a protocol requirement." @default.
- W2911204598 created "2019-01-25" @default.
- W2911204598 creator A5010482410 @default.
- W2911204598 creator A5090401970 @default.
- W2911204598 date "2018-11-01" @default.
- W2911204598 modified "2023-10-14" @default.
- W2911204598 title "Conformance Tester for STP-ISS Protocol Implementation Based on Formal Model" @default.
- W2911204598 cites W1493249179 @default.
- W2911204598 cites W1509229256 @default.
- W2911204598 cites W1577525693 @default.
- W2911204598 cites W1797377815 @default.
- W2911204598 cites W1987009214 @default.
- W2911204598 cites W1990183105 @default.
- W2911204598 cites W2164989576 @default.
- W2911204598 cites W2340735175 @default.
- W2911204598 cites W2406477300 @default.
- W2911204598 cites W2483381738 @default.
- W2911204598 cites W2987803397 @default.
- W2911204598 doi "https://doi.org/10.1109/weconf.2018.8604467" @default.
- W2911204598 hasPublicationYear "2018" @default.
- W2911204598 type Work @default.
- W2911204598 sameAs 2911204598 @default.
- W2911204598 citedByCount "0" @default.
- W2911204598 crossrefType "proceedings-article" @default.
- W2911204598 hasAuthorship W2911204598A5010482410 @default.
- W2911204598 hasAuthorship W2911204598A5090401970 @default.
- W2911204598 hasConcept C110251889 @default.
- W2911204598 hasConcept C111498074 @default.
- W2911204598 hasConcept C111919701 @default.
- W2911204598 hasConcept C115903868 @default.
- W2911204598 hasConcept C116253237 @default.
- W2911204598 hasConcept C142724271 @default.
- W2911204598 hasConcept C161913894 @default.
- W2911204598 hasConcept C188087704 @default.
- W2911204598 hasConcept C198008173 @default.
- W2911204598 hasConcept C199360897 @default.
- W2911204598 hasConcept C204787440 @default.
- W2911204598 hasConcept C25016198 @default.
- W2911204598 hasConcept C2780385302 @default.
- W2911204598 hasConcept C41008148 @default.
- W2911204598 hasConcept C4777664 @default.
- W2911204598 hasConcept C71924100 @default.
- W2911204598 hasConcept C75606506 @default.
- W2911204598 hasConcept C76844732 @default.
- W2911204598 hasConcept C98045186 @default.
- W2911204598 hasConceptScore W2911204598C110251889 @default.
- W2911204598 hasConceptScore W2911204598C111498074 @default.
- W2911204598 hasConceptScore W2911204598C111919701 @default.
- W2911204598 hasConceptScore W2911204598C115903868 @default.
- W2911204598 hasConceptScore W2911204598C116253237 @default.
- W2911204598 hasConceptScore W2911204598C142724271 @default.
- W2911204598 hasConceptScore W2911204598C161913894 @default.
- W2911204598 hasConceptScore W2911204598C188087704 @default.
- W2911204598 hasConceptScore W2911204598C198008173 @default.
- W2911204598 hasConceptScore W2911204598C199360897 @default.
- W2911204598 hasConceptScore W2911204598C204787440 @default.
- W2911204598 hasConceptScore W2911204598C25016198 @default.
- W2911204598 hasConceptScore W2911204598C2780385302 @default.
- W2911204598 hasConceptScore W2911204598C41008148 @default.
- W2911204598 hasConceptScore W2911204598C4777664 @default.
- W2911204598 hasConceptScore W2911204598C71924100 @default.
- W2911204598 hasConceptScore W2911204598C75606506 @default.
- W2911204598 hasConceptScore W2911204598C76844732 @default.
- W2911204598 hasConceptScore W2911204598C98045186 @default.
- W2911204598 hasLocation W29112045981 @default.
- W2911204598 hasOpenAccess W2911204598 @default.
- W2911204598 hasPrimaryLocation W29112045981 @default.
- W2911204598 hasRelatedWork W1492842935 @default.
- W2911204598 hasRelatedWork W1515452107 @default.
- W2911204598 hasRelatedWork W1551945692 @default.
- W2911204598 hasRelatedWork W2019701393 @default.
- W2911204598 hasRelatedWork W2079360995 @default.
- W2911204598 hasRelatedWork W2081257986 @default.
- W2911204598 hasRelatedWork W2159970028 @default.
- W2911204598 hasRelatedWork W2365236609 @default.
- W2911204598 hasRelatedWork W2784321908 @default.
- W2911204598 hasRelatedWork W2848887102 @default.
- W2911204598 isParatext "false" @default.
- W2911204598 isRetracted "false" @default.
- W2911204598 magId "2911204598" @default.
- W2911204598 workType "article" @default.