Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023256370> ?p ?o ?g. }
- W2023256370 endingPage "68" @default.
- W2023256370 startingPage "39" @default.
- W2023256370 created "2016-06-24" @default.
- W2023256370 creator A5024043216 @default.
- W2023256370 creator A5025064830 @default.
- W2023256370 creator A5042015965 @default.
- W2023256370 creator A5090586777 @default.
- W2023256370 date "2012-07-12" @default.
- W2023256370 modified "2023-10-18" @default.
- W2023256370 title "Contributions of model checking and CoFI methodology to the development of space embedded software" @default.
- W2023256370 cites W1493790738 @default.
- W2023256370 cites W1507699160 @default.
- W2023256370 cites W1520678295 @default.
- W2023256370 cites W1528287381 @default.
- W2023256370 cites W1547664796 @default.
- W2023256370 cites W1862085023 @default.
- W2023256370 cites W1965024948 @default.
- W2023256370 cites W1998656513 @default.
- W2023256370 cites W2007953420 @default.
- W2023256370 cites W2008813808 @default.
- W2023256370 cites W2020793077 @default.
- W2023256370 cites W2033070537 @default.
- W2023256370 cites W2084017825 @default.
- W2023256370 cites W2086025510 @default.
- W2023256370 cites W2092422674 @default.
- W2023256370 cites W2101508170 @default.
- W2023256370 cites W2102111427 @default.
- W2023256370 cites W2107982612 @default.
- W2023256370 cites W2123256505 @default.
- W2023256370 cites W2142949066 @default.
- W2023256370 cites W2183029847 @default.
- W2023256370 cites W2317517365 @default.
- W2023256370 cites W2324132646 @default.
- W2023256370 cites W2328618021 @default.
- W2023256370 cites W3099799517 @default.
- W2023256370 cites W3142840155 @default.
- W2023256370 cites W4229772528 @default.
- W2023256370 cites W4235527454 @default.
- W2023256370 cites W4240644524 @default.
- W2023256370 cites W4320524140 @default.
- W2023256370 doi "https://doi.org/10.1007/s10664-012-9215-y" @default.
- W2023256370 hasPublicationYear "2012" @default.
- W2023256370 type Work @default.
- W2023256370 sameAs 2023256370 @default.
- W2023256370 citedByCount "11" @default.
- W2023256370 countsByYear W20232563702012 @default.
- W2023256370 countsByYear W20232563702014 @default.
- W2023256370 countsByYear W20232563702015 @default.
- W2023256370 countsByYear W20232563702016 @default.
- W2023256370 countsByYear W20232563702017 @default.
- W2023256370 countsByYear W20232563702018 @default.
- W2023256370 countsByYear W20232563702019 @default.
- W2023256370 countsByYear W20232563702020 @default.
- W2023256370 countsByYear W20232563702022 @default.
- W2023256370 crossrefType "journal-article" @default.
- W2023256370 hasAuthorship W2023256370A5024043216 @default.
- W2023256370 hasAuthorship W2023256370A5025064830 @default.
- W2023256370 hasAuthorship W2023256370A5042015965 @default.
- W2023256370 hasAuthorship W2023256370A5090586777 @default.
- W2023256370 hasConcept C110251889 @default.
- W2023256370 hasConcept C115903868 @default.
- W2023256370 hasConcept C127413603 @default.
- W2023256370 hasConcept C151730666 @default.
- W2023256370 hasConcept C15569618 @default.
- W2023256370 hasConcept C167822520 @default.
- W2023256370 hasConcept C186846655 @default.
- W2023256370 hasConcept C199360897 @default.
- W2023256370 hasConcept C200601418 @default.
- W2023256370 hasConcept C21547014 @default.
- W2023256370 hasConcept C2775928411 @default.
- W2023256370 hasConcept C2777904410 @default.
- W2023256370 hasConcept C2779343474 @default.
- W2023256370 hasConcept C33054407 @default.
- W2023256370 hasConcept C41008148 @default.
- W2023256370 hasConcept C48002344 @default.
- W2023256370 hasConcept C529173508 @default.
- W2023256370 hasConcept C86803240 @default.
- W2023256370 hasConceptScore W2023256370C110251889 @default.
- W2023256370 hasConceptScore W2023256370C115903868 @default.
- W2023256370 hasConceptScore W2023256370C127413603 @default.
- W2023256370 hasConceptScore W2023256370C151730666 @default.
- W2023256370 hasConceptScore W2023256370C15569618 @default.
- W2023256370 hasConceptScore W2023256370C167822520 @default.
- W2023256370 hasConceptScore W2023256370C186846655 @default.
- W2023256370 hasConceptScore W2023256370C199360897 @default.
- W2023256370 hasConceptScore W2023256370C200601418 @default.
- W2023256370 hasConceptScore W2023256370C21547014 @default.
- W2023256370 hasConceptScore W2023256370C2775928411 @default.
- W2023256370 hasConceptScore W2023256370C2777904410 @default.
- W2023256370 hasConceptScore W2023256370C2779343474 @default.
- W2023256370 hasConceptScore W2023256370C33054407 @default.
- W2023256370 hasConceptScore W2023256370C41008148 @default.
- W2023256370 hasConceptScore W2023256370C48002344 @default.
- W2023256370 hasConceptScore W2023256370C529173508 @default.
- W2023256370 hasConceptScore W2023256370C86803240 @default.
- W2023256370 hasIssue "1" @default.
- W2023256370 hasLocation W20232563701 @default.
- W2023256370 hasOpenAccess W2023256370 @default.
- W2023256370 hasPrimaryLocation W20232563701 @default.
- W2023256370 hasRelatedWork W1528679027 @default.