Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296500144> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4296500144 endingPage "541" @default.
- W4296500144 startingPage "528" @default.
- W4296500144 created "2022-09-21" @default.
- W4296500144 creator A5011220111 @default.
- W4296500144 creator A5030172883 @default.
- W4296500144 creator A5076360595 @default.
- W4296500144 date "2022-01-01" @default.
- W4296500144 modified "2023-10-17" @default.
- W4296500144 title "A Formal Verification Model for IoT Based Applications Using Event-B" @default.
- W4296500144 cites W1633238956 @default.
- W4296500144 cites W2070652410 @default.
- W4296500144 cites W2218889307 @default.
- W4296500144 cites W2575270978 @default.
- W4296500144 cites W2783508409 @default.
- W4296500144 cites W2797058607 @default.
- W4296500144 cites W2806964698 @default.
- W4296500144 cites W2883940648 @default.
- W4296500144 cites W2891411967 @default.
- W4296500144 cites W2898242456 @default.
- W4296500144 cites W2899664370 @default.
- W4296500144 cites W2901126201 @default.
- W4296500144 cites W2981228028 @default.
- W4296500144 cites W2986215972 @default.
- W4296500144 cites W3130334477 @default.
- W4296500144 cites W604094558 @default.
- W4296500144 doi "https://doi.org/10.1007/978-3-031-16210-7_43" @default.
- W4296500144 hasPublicationYear "2022" @default.
- W4296500144 type Work @default.
- W4296500144 citedByCount "0" @default.
- W4296500144 crossrefType "book-chapter" @default.
- W4296500144 hasAuthorship W4296500144A5011220111 @default.
- W4296500144 hasAuthorship W4296500144A5030172883 @default.
- W4296500144 hasAuthorship W4296500144A5076360595 @default.
- W4296500144 hasConcept C120314980 @default.
- W4296500144 hasConcept C121332964 @default.
- W4296500144 hasConcept C149635348 @default.
- W4296500144 hasConcept C151730666 @default.
- W4296500144 hasConcept C154945302 @default.
- W4296500144 hasConcept C25516864 @default.
- W4296500144 hasConcept C2779343474 @default.
- W4296500144 hasConcept C2779662365 @default.
- W4296500144 hasConcept C41008148 @default.
- W4296500144 hasConcept C62520636 @default.
- W4296500144 hasConcept C81860439 @default.
- W4296500144 hasConcept C86803240 @default.
- W4296500144 hasConceptScore W4296500144C120314980 @default.
- W4296500144 hasConceptScore W4296500144C121332964 @default.
- W4296500144 hasConceptScore W4296500144C149635348 @default.
- W4296500144 hasConceptScore W4296500144C151730666 @default.
- W4296500144 hasConceptScore W4296500144C154945302 @default.
- W4296500144 hasConceptScore W4296500144C25516864 @default.
- W4296500144 hasConceptScore W4296500144C2779343474 @default.
- W4296500144 hasConceptScore W4296500144C2779662365 @default.
- W4296500144 hasConceptScore W4296500144C41008148 @default.
- W4296500144 hasConceptScore W4296500144C62520636 @default.
- W4296500144 hasConceptScore W4296500144C81860439 @default.
- W4296500144 hasConceptScore W4296500144C86803240 @default.
- W4296500144 hasLocation W42965001441 @default.
- W4296500144 hasOpenAccess W4296500144 @default.
- W4296500144 hasPrimaryLocation W42965001441 @default.
- W4296500144 hasRelatedWork W1587227328 @default.
- W4296500144 hasRelatedWork W1596201972 @default.
- W4296500144 hasRelatedWork W1967954938 @default.
- W4296500144 hasRelatedWork W2160425906 @default.
- W4296500144 hasRelatedWork W2751166006 @default.
- W4296500144 hasRelatedWork W2775965274 @default.
- W4296500144 hasRelatedWork W2807530277 @default.
- W4296500144 hasRelatedWork W2998813341 @default.
- W4296500144 hasRelatedWork W3042075030 @default.
- W4296500144 hasRelatedWork W4313420168 @default.
- W4296500144 isParatext "false" @default.
- W4296500144 isRetracted "false" @default.
- W4296500144 workType "book-chapter" @default.