Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003215735> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2003215735 abstract "A Protocol Strategy of Device Management for lighting control system in ACN is analyzed. Through Petri based formal verification, a Petri model of DMP is built. The rationality of the model is validated. The reliability and circulation characteristics are also proved. Through Rationality, Reliability and circulation characteristics, we prove that DMP is reachable. The Protocol Strategy of Device Management for lighting control system is feasible." @default.
- W2003215735 created "2016-06-24" @default.
- W2003215735 creator A5023391846 @default.
- W2003215735 creator A5030206289 @default.
- W2003215735 creator A5050374455 @default.
- W2003215735 creator A5076732746 @default.
- W2003215735 date "2014-10-01" @default.
- W2003215735 modified "2023-09-22" @default.
- W2003215735 title "Petri based formal verification of device management protocol for a lighting control system" @default.
- W2003215735 cites W2029241075 @default.
- W2003215735 doi "https://doi.org/10.1109/cisp.2014.7003935" @default.
- W2003215735 hasPublicationYear "2014" @default.
- W2003215735 type Work @default.
- W2003215735 sameAs 2003215735 @default.
- W2003215735 citedByCount "0" @default.
- W2003215735 crossrefType "proceedings-article" @default.
- W2003215735 hasAuthorship W2003215735A5023391846 @default.
- W2003215735 hasAuthorship W2003215735A5030206289 @default.
- W2003215735 hasAuthorship W2003215735A5050374455 @default.
- W2003215735 hasAuthorship W2003215735A5076732746 @default.
- W2003215735 hasConcept C111498074 @default.
- W2003215735 hasConcept C115903868 @default.
- W2003215735 hasConcept C120314980 @default.
- W2003215735 hasConcept C121332964 @default.
- W2003215735 hasConcept C127413603 @default.
- W2003215735 hasConcept C142724271 @default.
- W2003215735 hasConcept C149635348 @default.
- W2003215735 hasConcept C154945302 @default.
- W2003215735 hasConcept C163258240 @default.
- W2003215735 hasConcept C17744445 @default.
- W2003215735 hasConcept C199360897 @default.
- W2003215735 hasConcept C199539241 @default.
- W2003215735 hasConcept C200601418 @default.
- W2003215735 hasConcept C201717286 @default.
- W2003215735 hasConcept C204787440 @default.
- W2003215735 hasConcept C2775924081 @default.
- W2003215735 hasConcept C2780385302 @default.
- W2003215735 hasConcept C38677869 @default.
- W2003215735 hasConcept C41008148 @default.
- W2003215735 hasConcept C43214815 @default.
- W2003215735 hasConcept C62520636 @default.
- W2003215735 hasConcept C71924100 @default.
- W2003215735 hasConcept C75606506 @default.
- W2003215735 hasConceptScore W2003215735C111498074 @default.
- W2003215735 hasConceptScore W2003215735C115903868 @default.
- W2003215735 hasConceptScore W2003215735C120314980 @default.
- W2003215735 hasConceptScore W2003215735C121332964 @default.
- W2003215735 hasConceptScore W2003215735C127413603 @default.
- W2003215735 hasConceptScore W2003215735C142724271 @default.
- W2003215735 hasConceptScore W2003215735C149635348 @default.
- W2003215735 hasConceptScore W2003215735C154945302 @default.
- W2003215735 hasConceptScore W2003215735C163258240 @default.
- W2003215735 hasConceptScore W2003215735C17744445 @default.
- W2003215735 hasConceptScore W2003215735C199360897 @default.
- W2003215735 hasConceptScore W2003215735C199539241 @default.
- W2003215735 hasConceptScore W2003215735C200601418 @default.
- W2003215735 hasConceptScore W2003215735C201717286 @default.
- W2003215735 hasConceptScore W2003215735C204787440 @default.
- W2003215735 hasConceptScore W2003215735C2775924081 @default.
- W2003215735 hasConceptScore W2003215735C2780385302 @default.
- W2003215735 hasConceptScore W2003215735C38677869 @default.
- W2003215735 hasConceptScore W2003215735C41008148 @default.
- W2003215735 hasConceptScore W2003215735C43214815 @default.
- W2003215735 hasConceptScore W2003215735C62520636 @default.
- W2003215735 hasConceptScore W2003215735C71924100 @default.
- W2003215735 hasConceptScore W2003215735C75606506 @default.
- W2003215735 hasLocation W20032157351 @default.
- W2003215735 hasOpenAccess W2003215735 @default.
- W2003215735 hasPrimaryLocation W20032157351 @default.
- W2003215735 hasRelatedWork W1484190728 @default.
- W2003215735 hasRelatedWork W2019663985 @default.
- W2003215735 hasRelatedWork W2084455838 @default.
- W2003215735 hasRelatedWork W2085307639 @default.
- W2003215735 hasRelatedWork W2102975798 @default.
- W2003215735 hasRelatedWork W2113738305 @default.
- W2003215735 hasRelatedWork W2114269468 @default.
- W2003215735 hasRelatedWork W2120919073 @default.
- W2003215735 hasRelatedWork W2121184557 @default.
- W2003215735 hasRelatedWork W2132051376 @default.
- W2003215735 hasRelatedWork W2145589008 @default.
- W2003215735 hasRelatedWork W2169222735 @default.
- W2003215735 hasRelatedWork W2170301162 @default.
- W2003215735 hasRelatedWork W2353291789 @default.
- W2003215735 hasRelatedWork W2363778731 @default.
- W2003215735 hasRelatedWork W2390422224 @default.
- W2003215735 hasRelatedWork W2508038368 @default.
- W2003215735 hasRelatedWork W3031046896 @default.
- W2003215735 hasRelatedWork W45490317 @default.
- W2003215735 hasRelatedWork W796717490 @default.
- W2003215735 isParatext "false" @default.
- W2003215735 isRetracted "false" @default.
- W2003215735 magId "2003215735" @default.
- W2003215735 workType "article" @default.