Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081108518> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2081108518 endingPage "588" @default.
- W2081108518 startingPage "581" @default.
- W2081108518 abstract "Communication-dominated hardware is quite naturally specified in terms of timing diagrams. By providing timing diagrams with a formal semantics in terms of a timed extension of the formal description technique LOTOS, we obtain formalized pure behavioural specifications. Hereupon we apply correctness-preserving transformations, which are initiated by the user's directives and which iteratively lead to structural specifications. These can be further compiled, eg. into VHDL code." @default.
- W2081108518 created "2016-06-24" @default.
- W2081108518 creator A5010367285 @default.
- W2081108518 creator A5016589904 @default.
- W2081108518 creator A5066095640 @default.
- W2081108518 creator A5077436624 @default.
- W2081108518 date "1993-09-01" @default.
- W2081108518 modified "2023-09-26" @default.
- W2081108518 title "Introducing structure into behavioural descriptions obtained from timing diagram specifications" @default.
- W2081108518 cites W1564613614 @default.
- W2081108518 cites W1581108287 @default.
- W2081108518 cites W1598591924 @default.
- W2081108518 cites W1666015432 @default.
- W2081108518 cites W1882279775 @default.
- W2081108518 cites W2001817854 @default.
- W2081108518 cites W2034962526 @default.
- W2081108518 cites W2108128207 @default.
- W2081108518 cites W2163087258 @default.
- W2081108518 doi "https://doi.org/10.1016/0165-6074(93)90198-t" @default.
- W2081108518 hasPublicationYear "1993" @default.
- W2081108518 type Work @default.
- W2081108518 sameAs 2081108518 @default.
- W2081108518 citedByCount "10" @default.
- W2081108518 crossrefType "journal-article" @default.
- W2081108518 hasAuthorship W2081108518A5010367285 @default.
- W2081108518 hasAuthorship W2081108518A5016589904 @default.
- W2081108518 hasAuthorship W2081108518A5066095640 @default.
- W2081108518 hasAuthorship W2081108518A5077436624 @default.
- W2081108518 hasConcept C149635348 @default.
- W2081108518 hasConcept C177264268 @default.
- W2081108518 hasConcept C184337299 @default.
- W2081108518 hasConcept C186399060 @default.
- W2081108518 hasConcept C199360897 @default.
- W2081108518 hasConcept C2776760102 @default.
- W2081108518 hasConcept C2778029271 @default.
- W2081108518 hasConcept C36941000 @default.
- W2081108518 hasConcept C41008148 @default.
- W2081108518 hasConcept C42935608 @default.
- W2081108518 hasConcept C55439883 @default.
- W2081108518 hasConcept C75606506 @default.
- W2081108518 hasConcept C77088390 @default.
- W2081108518 hasConcept C80444323 @default.
- W2081108518 hasConceptScore W2081108518C149635348 @default.
- W2081108518 hasConceptScore W2081108518C177264268 @default.
- W2081108518 hasConceptScore W2081108518C184337299 @default.
- W2081108518 hasConceptScore W2081108518C186399060 @default.
- W2081108518 hasConceptScore W2081108518C199360897 @default.
- W2081108518 hasConceptScore W2081108518C2776760102 @default.
- W2081108518 hasConceptScore W2081108518C2778029271 @default.
- W2081108518 hasConceptScore W2081108518C36941000 @default.
- W2081108518 hasConceptScore W2081108518C41008148 @default.
- W2081108518 hasConceptScore W2081108518C42935608 @default.
- W2081108518 hasConceptScore W2081108518C55439883 @default.
- W2081108518 hasConceptScore W2081108518C75606506 @default.
- W2081108518 hasConceptScore W2081108518C77088390 @default.
- W2081108518 hasConceptScore W2081108518C80444323 @default.
- W2081108518 hasIssue "1-5" @default.
- W2081108518 hasLocation W20811085181 @default.
- W2081108518 hasOpenAccess W2081108518 @default.
- W2081108518 hasPrimaryLocation W20811085181 @default.
- W2081108518 hasRelatedWork W1614816533 @default.
- W2081108518 hasRelatedWork W1855927527 @default.
- W2081108518 hasRelatedWork W1985198438 @default.
- W2081108518 hasRelatedWork W2042255170 @default.
- W2081108518 hasRelatedWork W2076180470 @default.
- W2081108518 hasRelatedWork W2081108518 @default.
- W2081108518 hasRelatedWork W2129057127 @default.
- W2081108518 hasRelatedWork W2370681738 @default.
- W2081108518 hasRelatedWork W4238823939 @default.
- W2081108518 hasRelatedWork W4250918063 @default.
- W2081108518 hasVolume "38" @default.
- W2081108518 isParatext "false" @default.
- W2081108518 isRetracted "false" @default.
- W2081108518 magId "2081108518" @default.
- W2081108518 workType "article" @default.