Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488150858> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1488150858 endingPage "151" @default.
- W1488150858 startingPage "136" @default.
- W1488150858 abstract "AbstractThe problem caused by feature interactions serve to delay and increase the costs of introducing features to existing networks. We introduce a three stage technique that detects interactions in the TETRA network. Promela is used to model the network and features and its requirements are specified using linear temporal logic. The Xspin toolkit is used to verify and validate the model against its requirements." @default.
- W1488150858 created "2016-06-24" @default.
- W1488150858 creator A5000838833 @default.
- W1488150858 creator A5052642739 @default.
- W1488150858 date "1999-01-01" @default.
- W1488150858 modified "2023-09-27" @default.
- W1488150858 title "Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin" @default.
- W1488150858 cites W2124790413 @default.
- W1488150858 cites W2156817008 @default.
- W1488150858 cites W2165253854 @default.
- W1488150858 doi "https://doi.org/10.1007/3-540-48234-2_10" @default.
- W1488150858 hasPublicationYear "1999" @default.
- W1488150858 type Work @default.
- W1488150858 sameAs 1488150858 @default.
- W1488150858 citedByCount "0" @default.
- W1488150858 crossrefType "book-chapter" @default.
- W1488150858 hasAuthorship W1488150858A5000838833 @default.
- W1488150858 hasAuthorship W1488150858A5052642739 @default.
- W1488150858 hasConcept C101814296 @default.
- W1488150858 hasConcept C110251889 @default.
- W1488150858 hasConcept C138885662 @default.
- W1488150858 hasConcept C151730666 @default.
- W1488150858 hasConcept C199360897 @default.
- W1488150858 hasConcept C2776329536 @default.
- W1488150858 hasConcept C2776401178 @default.
- W1488150858 hasConcept C2777873363 @default.
- W1488150858 hasConcept C2777904410 @default.
- W1488150858 hasConcept C31258907 @default.
- W1488150858 hasConcept C41008148 @default.
- W1488150858 hasConcept C41895202 @default.
- W1488150858 hasConcept C80444323 @default.
- W1488150858 hasConcept C86803240 @default.
- W1488150858 hasConceptScore W1488150858C101814296 @default.
- W1488150858 hasConceptScore W1488150858C110251889 @default.
- W1488150858 hasConceptScore W1488150858C138885662 @default.
- W1488150858 hasConceptScore W1488150858C151730666 @default.
- W1488150858 hasConceptScore W1488150858C199360897 @default.
- W1488150858 hasConceptScore W1488150858C2776329536 @default.
- W1488150858 hasConceptScore W1488150858C2776401178 @default.
- W1488150858 hasConceptScore W1488150858C2777873363 @default.
- W1488150858 hasConceptScore W1488150858C2777904410 @default.
- W1488150858 hasConceptScore W1488150858C31258907 @default.
- W1488150858 hasConceptScore W1488150858C41008148 @default.
- W1488150858 hasConceptScore W1488150858C41895202 @default.
- W1488150858 hasConceptScore W1488150858C80444323 @default.
- W1488150858 hasConceptScore W1488150858C86803240 @default.
- W1488150858 hasLocation W14881508581 @default.
- W1488150858 hasOpenAccess W1488150858 @default.
- W1488150858 hasPrimaryLocation W14881508581 @default.
- W1488150858 hasRelatedWork W1530155047 @default.
- W1488150858 hasRelatedWork W1543121206 @default.
- W1488150858 hasRelatedWork W1578736447 @default.
- W1488150858 hasRelatedWork W2027995748 @default.
- W1488150858 hasRelatedWork W2073325935 @default.
- W1488150858 hasRelatedWork W2078833545 @default.
- W1488150858 hasRelatedWork W2103482784 @default.
- W1488150858 hasRelatedWork W2120615026 @default.
- W1488150858 hasRelatedWork W2168213609 @default.
- W1488150858 hasRelatedWork W2372183853 @default.
- W1488150858 hasRelatedWork W2513184887 @default.
- W1488150858 hasRelatedWork W2544153587 @default.
- W1488150858 hasRelatedWork W2584746421 @default.
- W1488150858 hasRelatedWork W3009841775 @default.
- W1488150858 hasRelatedWork W2164249810 @default.
- W1488150858 isParatext "false" @default.
- W1488150858 isRetracted "false" @default.
- W1488150858 magId "1488150858" @default.
- W1488150858 workType "book-chapter" @default.