Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997000060> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2997000060 abstract "The intelligent production line is a complex application with a large number of independent equipment network integration. In view of the characteristics of CPS, the existing modeling methods cannot well meet the application requirements of large scale high-performance system. a formal simulation verification framework and verification method are designed for the performance constraints such as the real-time and security of the intelligent production line based on soft bus. A model-based service-oriented integration approach is employed, which adopts a model-centric way to automate the development course of the entire software life cycle. Developing experience indicate that the proposed approach based on the formal modeling and verification framework in this paper can improve the performance of the system, which is also helpful to achieve the balance of the production line and maintain the reasonable use rate of the processing equipment." @default.
- W2997000060 created "2020-01-10" @default.
- W2997000060 creator A5006029283 @default.
- W2997000060 creator A5020047491 @default.
- W2997000060 creator A5047677335 @default.
- W2997000060 date "2019-06-01" @default.
- W2997000060 modified "2023-09-27" @default.
- W2997000060 title "A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design" @default.
- W2997000060 cites W1591288003 @default.
- W2997000060 cites W1989704802 @default.
- W2997000060 cites W2002666386 @default.
- W2997000060 cites W2004754309 @default.
- W2997000060 cites W2063229862 @default.
- W2997000060 cites W2079996951 @default.
- W2997000060 cites W2106025020 @default.
- W2997000060 cites W2137683783 @default.
- W2997000060 cites W2147841033 @default.
- W2997000060 cites W2241928397 @default.
- W2997000060 cites W2329116975 @default.
- W2997000060 cites W2789778747 @default.
- W2997000060 doi "https://doi.org/10.1109/icis46139.2019.8940189" @default.
- W2997000060 hasPublicationYear "2019" @default.
- W2997000060 type Work @default.
- W2997000060 sameAs 2997000060 @default.
- W2997000060 citedByCount "0" @default.
- W2997000060 crossrefType "proceedings-article" @default.
- W2997000060 hasAuthorship W2997000060A5006029283 @default.
- W2997000060 hasAuthorship W2997000060A5020047491 @default.
- W2997000060 hasAuthorship W2997000060A5047677335 @default.
- W2997000060 hasConcept C111498074 @default.
- W2997000060 hasConcept C115903868 @default.
- W2997000060 hasConcept C120314980 @default.
- W2997000060 hasConcept C127413603 @default.
- W2997000060 hasConcept C136264566 @default.
- W2997000060 hasConcept C139719470 @default.
- W2997000060 hasConcept C149635348 @default.
- W2997000060 hasConcept C162324750 @default.
- W2997000060 hasConcept C199360897 @default.
- W2997000060 hasConcept C200601418 @default.
- W2997000060 hasConcept C201995342 @default.
- W2997000060 hasConcept C2778348673 @default.
- W2997000060 hasConcept C2780378061 @default.
- W2997000060 hasConcept C41008148 @default.
- W2997000060 hasConcept C75606506 @default.
- W2997000060 hasConcept C78519656 @default.
- W2997000060 hasConcept C99862985 @default.
- W2997000060 hasConceptScore W2997000060C111498074 @default.
- W2997000060 hasConceptScore W2997000060C115903868 @default.
- W2997000060 hasConceptScore W2997000060C120314980 @default.
- W2997000060 hasConceptScore W2997000060C127413603 @default.
- W2997000060 hasConceptScore W2997000060C136264566 @default.
- W2997000060 hasConceptScore W2997000060C139719470 @default.
- W2997000060 hasConceptScore W2997000060C149635348 @default.
- W2997000060 hasConceptScore W2997000060C162324750 @default.
- W2997000060 hasConceptScore W2997000060C199360897 @default.
- W2997000060 hasConceptScore W2997000060C200601418 @default.
- W2997000060 hasConceptScore W2997000060C201995342 @default.
- W2997000060 hasConceptScore W2997000060C2778348673 @default.
- W2997000060 hasConceptScore W2997000060C2780378061 @default.
- W2997000060 hasConceptScore W2997000060C41008148 @default.
- W2997000060 hasConceptScore W2997000060C75606506 @default.
- W2997000060 hasConceptScore W2997000060C78519656 @default.
- W2997000060 hasConceptScore W2997000060C99862985 @default.
- W2997000060 hasLocation W29970000601 @default.
- W2997000060 hasOpenAccess W2997000060 @default.
- W2997000060 hasPrimaryLocation W29970000601 @default.
- W2997000060 hasRelatedWork W1545043791 @default.
- W2997000060 hasRelatedWork W2027725852 @default.
- W2997000060 hasRelatedWork W2032605878 @default.
- W2997000060 hasRelatedWork W2097132468 @default.
- W2997000060 hasRelatedWork W2107574546 @default.
- W2997000060 hasRelatedWork W2112078372 @default.
- W2997000060 hasRelatedWork W2197780573 @default.
- W2997000060 hasRelatedWork W2253644945 @default.
- W2997000060 hasRelatedWork W2258908655 @default.
- W2997000060 hasRelatedWork W2261809236 @default.
- W2997000060 hasRelatedWork W2357953067 @default.
- W2997000060 hasRelatedWork W2374671660 @default.
- W2997000060 hasRelatedWork W2515779501 @default.
- W2997000060 hasRelatedWork W2550338868 @default.
- W2997000060 hasRelatedWork W2754457925 @default.
- W2997000060 hasRelatedWork W2945853428 @default.
- W2997000060 hasRelatedWork W3006860582 @default.
- W2997000060 hasRelatedWork W3104336002 @default.
- W2997000060 hasRelatedWork W3105995465 @default.
- W2997000060 hasRelatedWork W570094093 @default.
- W2997000060 isParatext "false" @default.
- W2997000060 isRetracted "false" @default.
- W2997000060 magId "2997000060" @default.
- W2997000060 workType "article" @default.