Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116868051> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2116868051 abstract "In this paper, we describe an executable formal specification of the PCI-X bus standard using the abstract state machines language, AsmL. PCI-X, is the latest extension of the PCI local bus that is designed to meet increased I/O demands of recent technologies. The actual specification of PCI-X, provided by the PCI special interest group (PCI-SIG), is informal (in natural English). Hence, it is prone to inherent problems of incompleteness, inconsistency and ambiguity. In our approach, we first model the bus in UML and then map it to AsmL. This AsmL model can be executed using the Asmlt tool that can generate the finite state machine (FSM) of the model. Such FSM can be of great use for verification purposes" @default.
- W2116868051 created "2016-06-24" @default.
- W2116868051 creator A5007159598 @default.
- W2116868051 creator A5043885927 @default.
- W2116868051 creator A5065598983 @default.
- W2116868051 date "2006-01-05" @default.
- W2116868051 modified "2023-10-01" @default.
- W2116868051 title "An executable specification of the PCI-X bus standard in AsmL" @default.
- W2116868051 cites W1503170978 @default.
- W2116868051 cites W2112134383 @default.
- W2116868051 cites W2123814724 @default.
- W2116868051 cites W2130560480 @default.
- W2116868051 cites W2138002452 @default.
- W2116868051 cites W2541525300 @default.
- W2116868051 doi "https://doi.org/10.1109/ccece.2005.1557217" @default.
- W2116868051 hasPublicationYear "2006" @default.
- W2116868051 type Work @default.
- W2116868051 sameAs 2116868051 @default.
- W2116868051 citedByCount "1" @default.
- W2116868051 crossrefType "proceedings-article" @default.
- W2116868051 hasAuthorship W2116868051A5007159598 @default.
- W2116868051 hasAuthorship W2116868051A5043885927 @default.
- W2116868051 hasAuthorship W2116868051A5065598983 @default.
- W2116868051 hasConcept C111919701 @default.
- W2116868051 hasConcept C118552586 @default.
- W2116868051 hasConcept C122635869 @default.
- W2116868051 hasConcept C145243422 @default.
- W2116868051 hasConcept C145644426 @default.
- W2116868051 hasConcept C149635348 @default.
- W2116868051 hasConcept C15744967 @default.
- W2116868051 hasConcept C160145156 @default.
- W2116868051 hasConcept C163985040 @default.
- W2116868051 hasConcept C167822520 @default.
- W2116868051 hasConcept C199360897 @default.
- W2116868051 hasConcept C2777904410 @default.
- W2116868051 hasConcept C2778029271 @default.
- W2116868051 hasConcept C41008148 @default.
- W2116868051 hasConcept C45393284 @default.
- W2116868051 hasConcept C48103436 @default.
- W2116868051 hasConcept C500558357 @default.
- W2116868051 hasConcept C64270927 @default.
- W2116868051 hasConceptScore W2116868051C111919701 @default.
- W2116868051 hasConceptScore W2116868051C118552586 @default.
- W2116868051 hasConceptScore W2116868051C122635869 @default.
- W2116868051 hasConceptScore W2116868051C145243422 @default.
- W2116868051 hasConceptScore W2116868051C145644426 @default.
- W2116868051 hasConceptScore W2116868051C149635348 @default.
- W2116868051 hasConceptScore W2116868051C15744967 @default.
- W2116868051 hasConceptScore W2116868051C160145156 @default.
- W2116868051 hasConceptScore W2116868051C163985040 @default.
- W2116868051 hasConceptScore W2116868051C167822520 @default.
- W2116868051 hasConceptScore W2116868051C199360897 @default.
- W2116868051 hasConceptScore W2116868051C2777904410 @default.
- W2116868051 hasConceptScore W2116868051C2778029271 @default.
- W2116868051 hasConceptScore W2116868051C41008148 @default.
- W2116868051 hasConceptScore W2116868051C45393284 @default.
- W2116868051 hasConceptScore W2116868051C48103436 @default.
- W2116868051 hasConceptScore W2116868051C500558357 @default.
- W2116868051 hasConceptScore W2116868051C64270927 @default.
- W2116868051 hasLocation W21168680511 @default.
- W2116868051 hasOpenAccess W2116868051 @default.
- W2116868051 hasPrimaryLocation W21168680511 @default.
- W2116868051 hasRelatedWork W121371338 @default.
- W2116868051 hasRelatedWork W1560057486 @default.
- W2116868051 hasRelatedWork W1564650897 @default.
- W2116868051 hasRelatedWork W1567923353 @default.
- W2116868051 hasRelatedWork W1571081862 @default.
- W2116868051 hasRelatedWork W1587285018 @default.
- W2116868051 hasRelatedWork W1886021935 @default.
- W2116868051 hasRelatedWork W1916258710 @default.
- W2116868051 hasRelatedWork W1963184875 @default.
- W2116868051 hasRelatedWork W2102096698 @default.
- W2116868051 hasRelatedWork W2108683656 @default.
- W2116868051 hasRelatedWork W2152929251 @default.
- W2116868051 hasRelatedWork W2248653679 @default.
- W2116868051 hasRelatedWork W2254710113 @default.
- W2116868051 hasRelatedWork W2398099798 @default.
- W2116868051 hasRelatedWork W2730918328 @default.
- W2116868051 hasRelatedWork W2897209314 @default.
- W2116868051 hasRelatedWork W330438856 @default.
- W2116868051 hasRelatedWork W54396785 @default.
- W2116868051 hasRelatedWork W789094022 @default.
- W2116868051 isParatext "false" @default.
- W2116868051 isRetracted "false" @default.
- W2116868051 magId "2116868051" @default.
- W2116868051 workType "article" @default.