Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552044356> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1552044356 endingPage "326" @default.
- W1552044356 startingPage "317" @default.
- W1552044356 abstract "This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T’s 5ESS® Switch code is now being studied. Proc. 9th Int. Workshop on Protocol Specification, Testing and Verification, Twente University, The Netherlands, June 1989. North−Holland−Publ. Amsterdam." @default.
- W1552044356 created "2016-06-24" @default.
- W1552044356 creator A5006062153 @default.
- W1552044356 creator A5037328209 @default.
- W1552044356 date "1989-06-06" @default.
- W1552044356 modified "2023-09-22" @default.
- W1552044356 title "Validating SDL Specifications: an Experiment" @default.
- W1552044356 cites W2062858138 @default.
- W1552044356 cites W2102121721 @default.
- W1552044356 cites W2131101129 @default.
- W1552044356 cites W2138620071 @default.
- W1552044356 hasPublicationYear "1989" @default.
- W1552044356 type Work @default.
- W1552044356 sameAs 1552044356 @default.
- W1552044356 citedByCount "18" @default.
- W1552044356 crossrefType "journal-article" @default.
- W1552044356 hasAuthorship W1552044356A5006062153 @default.
- W1552044356 hasAuthorship W1552044356A5037328209 @default.
- W1552044356 hasConcept C115903868 @default.
- W1552044356 hasConcept C127413603 @default.
- W1552044356 hasConcept C142724271 @default.
- W1552044356 hasConcept C199360897 @default.
- W1552044356 hasConcept C200601418 @default.
- W1552044356 hasConcept C204787440 @default.
- W1552044356 hasConcept C2780385302 @default.
- W1552044356 hasConcept C41008148 @default.
- W1552044356 hasConcept C71924100 @default.
- W1552044356 hasConceptScore W1552044356C115903868 @default.
- W1552044356 hasConceptScore W1552044356C127413603 @default.
- W1552044356 hasConceptScore W1552044356C142724271 @default.
- W1552044356 hasConceptScore W1552044356C199360897 @default.
- W1552044356 hasConceptScore W1552044356C200601418 @default.
- W1552044356 hasConceptScore W1552044356C204787440 @default.
- W1552044356 hasConceptScore W1552044356C2780385302 @default.
- W1552044356 hasConceptScore W1552044356C41008148 @default.
- W1552044356 hasConceptScore W1552044356C71924100 @default.
- W1552044356 hasLocation W15520443561 @default.
- W1552044356 hasOpenAccess W1552044356 @default.
- W1552044356 hasPrimaryLocation W15520443561 @default.
- W1552044356 hasRelatedWork W13989923 @default.
- W1552044356 hasRelatedWork W1486673739 @default.
- W1552044356 hasRelatedWork W1503170978 @default.
- W1552044356 hasRelatedWork W1508451833 @default.
- W1552044356 hasRelatedWork W1511077922 @default.
- W1552044356 hasRelatedWork W1536103007 @default.
- W1552044356 hasRelatedWork W1536867677 @default.
- W1552044356 hasRelatedWork W1540501475 @default.
- W1552044356 hasRelatedWork W1553894716 @default.
- W1552044356 hasRelatedWork W1566914015 @default.
- W1552044356 hasRelatedWork W1835119762 @default.
- W1552044356 hasRelatedWork W1971107784 @default.
- W1552044356 hasRelatedWork W1978358700 @default.
- W1552044356 hasRelatedWork W1987769291 @default.
- W1552044356 hasRelatedWork W2023808162 @default.
- W1552044356 hasRelatedWork W2054450126 @default.
- W1552044356 hasRelatedWork W2115309705 @default.
- W1552044356 hasRelatedWork W2164989576 @default.
- W1552044356 hasRelatedWork W2913459036 @default.
- W1552044356 hasRelatedWork W3144368627 @default.
- W1552044356 isParatext "false" @default.
- W1552044356 isRetracted "false" @default.
- W1552044356 magId "1552044356" @default.
- W1552044356 workType "article" @default.