Matches in SemOpenAlex for { <https://semopenalex.org/work/W3123100726> ?p ?o ?g. }
- W3123100726 endingPage "279" @default.
- W3123100726 startingPage "263" @default.
- W3123100726 abstract "This work proposes a method for the development of cyber-physical systems starting from a high-level representation of the control algorithm, performing a formal analysis of the algorithm, and co-simulating the algorithm with the controlled system both at high level, abstracting from the target processor, and at low level, i.e., including the emulation of the target processor. The expected advantages are a smoother and more controllable development process and greater design dependability and accuracy with respect to basic model-driven development. As a case study, an automatic transmission control has been used to show the applicability of the proposed approach." @default.
- W3123100726 created "2021-02-01" @default.
- W3123100726 creator A5018872474 @default.
- W3123100726 creator A5065265267 @default.
- W3123100726 creator A5072954314 @default.
- W3123100726 creator A5084632130 @default.
- W3123100726 creator A5088309110 @default.
- W3123100726 creator A5090546515 @default.
- W3123100726 creator A5091706301 @default.
- W3123100726 date "2021-01-01" @default.
- W3123100726 modified "2023-09-25" @default.
- W3123100726 title "Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor" @default.
- W3123100726 cites W1534850143 @default.
- W3123100726 cites W1535116423 @default.
- W3123100726 cites W2047139147 @default.
- W3123100726 cites W2107857712 @default.
- W3123100726 cites W2125174515 @default.
- W3123100726 cites W213397635 @default.
- W3123100726 cites W2136952590 @default.
- W3123100726 cites W2137351629 @default.
- W3123100726 cites W2422062091 @default.
- W3123100726 cites W2561211292 @default.
- W3123100726 cites W2595625343 @default.
- W3123100726 cites W2606961542 @default.
- W3123100726 cites W2786624435 @default.
- W3123100726 cites W2804347281 @default.
- W3123100726 cites W2947649671 @default.
- W3123100726 cites W2974268290 @default.
- W3123100726 cites W2989640836 @default.
- W3123100726 cites W3085985218 @default.
- W3123100726 cites W3140193238 @default.
- W3123100726 cites W3189981105 @default.
- W3123100726 cites W53401461 @default.
- W3123100726 doi "https://doi.org/10.1007/978-3-030-67220-1_20" @default.
- W3123100726 hasPublicationYear "2021" @default.
- W3123100726 type Work @default.
- W3123100726 sameAs 3123100726 @default.
- W3123100726 citedByCount "2" @default.
- W3123100726 countsByYear W31231007262022 @default.
- W3123100726 countsByYear W31231007262023 @default.
- W3123100726 crossrefType "book-chapter" @default.
- W3123100726 hasAuthorship W3123100726A5018872474 @default.
- W3123100726 hasAuthorship W3123100726A5065265267 @default.
- W3123100726 hasAuthorship W3123100726A5072954314 @default.
- W3123100726 hasAuthorship W3123100726A5084632130 @default.
- W3123100726 hasAuthorship W3123100726A5088309110 @default.
- W3123100726 hasAuthorship W3123100726A5090546515 @default.
- W3123100726 hasAuthorship W3123100726A5091706301 @default.
- W3123100726 hasBestOaLocation W31231007262 @default.
- W3123100726 hasConcept C115903868 @default.
- W3123100726 hasConcept C149635348 @default.
- W3123100726 hasConcept C149810388 @default.
- W3123100726 hasConcept C154945302 @default.
- W3123100726 hasConcept C162324750 @default.
- W3123100726 hasConcept C17744445 @default.
- W3123100726 hasConcept C199360897 @default.
- W3123100726 hasConcept C199539241 @default.
- W3123100726 hasConcept C2775924081 @default.
- W3123100726 hasConcept C2776359362 @default.
- W3123100726 hasConcept C41008148 @default.
- W3123100726 hasConcept C50522688 @default.
- W3123100726 hasConcept C761482 @default.
- W3123100726 hasConcept C76155785 @default.
- W3123100726 hasConcept C77019957 @default.
- W3123100726 hasConcept C94625758 @default.
- W3123100726 hasConcept C98045186 @default.
- W3123100726 hasConceptScore W3123100726C115903868 @default.
- W3123100726 hasConceptScore W3123100726C149635348 @default.
- W3123100726 hasConceptScore W3123100726C149810388 @default.
- W3123100726 hasConceptScore W3123100726C154945302 @default.
- W3123100726 hasConceptScore W3123100726C162324750 @default.
- W3123100726 hasConceptScore W3123100726C17744445 @default.
- W3123100726 hasConceptScore W3123100726C199360897 @default.
- W3123100726 hasConceptScore W3123100726C199539241 @default.
- W3123100726 hasConceptScore W3123100726C2775924081 @default.
- W3123100726 hasConceptScore W3123100726C2776359362 @default.
- W3123100726 hasConceptScore W3123100726C41008148 @default.
- W3123100726 hasConceptScore W3123100726C50522688 @default.
- W3123100726 hasConceptScore W3123100726C761482 @default.
- W3123100726 hasConceptScore W3123100726C76155785 @default.
- W3123100726 hasConceptScore W3123100726C77019957 @default.
- W3123100726 hasConceptScore W3123100726C94625758 @default.
- W3123100726 hasConceptScore W3123100726C98045186 @default.
- W3123100726 hasLocation W31231007261 @default.
- W3123100726 hasLocation W31231007262 @default.
- W3123100726 hasOpenAccess W3123100726 @default.
- W3123100726 hasPrimaryLocation W31231007261 @default.
- W3123100726 hasRelatedWork W1010714254 @default.
- W3123100726 hasRelatedWork W1964932639 @default.
- W3123100726 hasRelatedWork W1980810051 @default.
- W3123100726 hasRelatedWork W2113148102 @default.
- W3123100726 hasRelatedWork W2154718133 @default.
- W3123100726 hasRelatedWork W2161358717 @default.
- W3123100726 hasRelatedWork W2763425418 @default.
- W3123100726 hasRelatedWork W2782738478 @default.
- W3123100726 hasRelatedWork W3106447748 @default.
- W3123100726 hasRelatedWork W3175436014 @default.
- W3123100726 isParatext "false" @default.