Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079174966> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2079174966 abstract "This paper presents a model-based development approach for distributed embedded systems, supported by design automation tools (available online at http://gres.uninova.pt/). The development approach considers the distributed system specification through a single Petri net model, which includes synchronous components specification and their asynchronous interaction. This specification supports the use of model-checking tools to verify behavioral proprieties and to provide additional information about the required resources to implement the distributed components and their communication channels. The global specification with the additional information supports the use of code generation tools to automatically generate the implementation code (of the synchronous components and communication channels) for software and hardware platforms based on micro-controllers and/or FPGAs." @default.
- W2079174966 created "2016-06-24" @default.
- W2079174966 creator A5063555326 @default.
- W2079174966 creator A5067851505 @default.
- W2079174966 date "2013-09-01" @default.
- W2079174966 modified "2023-09-26" @default.
- W2079174966 title "Distributed embedded systems design using Petri nets" @default.
- W2079174966 cites W1599890501 @default.
- W2079174966 cites W1655844932 @default.
- W2079174966 cites W2086421317 @default.
- W2079174966 cites W2118359143 @default.
- W2079174966 cites W2146930052 @default.
- W2079174966 cites W4249538237 @default.
- W2079174966 doi "https://doi.org/10.1109/fpl.2013.6645617" @default.
- W2079174966 hasPublicationYear "2013" @default.
- W2079174966 type Work @default.
- W2079174966 sameAs 2079174966 @default.
- W2079174966 citedByCount "7" @default.
- W2079174966 countsByYear W20791749662015 @default.
- W2079174966 countsByYear W20791749662016 @default.
- W2079174966 countsByYear W20791749662018 @default.
- W2079174966 crossrefType "proceedings-article" @default.
- W2079174966 hasAuthorship W2079174966A5063555326 @default.
- W2079174966 hasAuthorship W2079174966A5067851505 @default.
- W2079174966 hasConcept C111919701 @default.
- W2079174966 hasConcept C115901376 @default.
- W2079174966 hasConcept C115903868 @default.
- W2079174966 hasConcept C116253237 @default.
- W2079174966 hasConcept C118524514 @default.
- W2079174966 hasConcept C120314980 @default.
- W2079174966 hasConcept C127413603 @default.
- W2079174966 hasConcept C133162039 @default.
- W2079174966 hasConcept C149635348 @default.
- W2079174966 hasConcept C151319957 @default.
- W2079174966 hasConcept C26517878 @default.
- W2079174966 hasConcept C31258907 @default.
- W2079174966 hasConcept C38677869 @default.
- W2079174966 hasConcept C41008148 @default.
- W2079174966 hasConcept C78519656 @default.
- W2079174966 hasConceptScore W2079174966C111919701 @default.
- W2079174966 hasConceptScore W2079174966C115901376 @default.
- W2079174966 hasConceptScore W2079174966C115903868 @default.
- W2079174966 hasConceptScore W2079174966C116253237 @default.
- W2079174966 hasConceptScore W2079174966C118524514 @default.
- W2079174966 hasConceptScore W2079174966C120314980 @default.
- W2079174966 hasConceptScore W2079174966C127413603 @default.
- W2079174966 hasConceptScore W2079174966C133162039 @default.
- W2079174966 hasConceptScore W2079174966C149635348 @default.
- W2079174966 hasConceptScore W2079174966C151319957 @default.
- W2079174966 hasConceptScore W2079174966C26517878 @default.
- W2079174966 hasConceptScore W2079174966C31258907 @default.
- W2079174966 hasConceptScore W2079174966C38677869 @default.
- W2079174966 hasConceptScore W2079174966C41008148 @default.
- W2079174966 hasConceptScore W2079174966C78519656 @default.
- W2079174966 hasLocation W20791749661 @default.
- W2079174966 hasOpenAccess W2079174966 @default.
- W2079174966 hasPrimaryLocation W20791749661 @default.
- W2079174966 hasRelatedWork W1538580479 @default.
- W2079174966 hasRelatedWork W1561560534 @default.
- W2079174966 hasRelatedWork W1607611520 @default.
- W2079174966 hasRelatedWork W2079174966 @default.
- W2079174966 hasRelatedWork W2079255554 @default.
- W2079174966 hasRelatedWork W2098790982 @default.
- W2079174966 hasRelatedWork W2268791449 @default.
- W2079174966 hasRelatedWork W2313989154 @default.
- W2079174966 hasRelatedWork W2364921833 @default.
- W2079174966 hasRelatedWork W851877386 @default.
- W2079174966 isParatext "false" @default.
- W2079174966 isRetracted "false" @default.
- W2079174966 magId "2079174966" @default.
- W2079174966 workType "article" @default.