Matches in SemOpenAlex for { <https://semopenalex.org/work/W1686673410> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1686673410 abstract "This paper is concerned with the application of formal methods for the specification and verification of the data link layer protocol in FDDI networks. The formal specification language PROMELA is used to formally specify the FDDI MAC protocol. Validation is done by using a simulator and validator tool called SPIN. The validation of FDDI MAC protocol is done in a few stages. The strategy used is to build an FDDI MAC validation model with two stations communicating with each other on the FDDI ring, and the safety and liveness properties. The incremental composition method is used as the complexity management technique for the validation of the FDDI MAC protocol. The process of increasing the complexity of the validation model reveals the problems and limitations of automated validation using reachability analysis." @default.
- W1686673410 created "2016-06-24" @default.
- W1686673410 creator A5026623458 @default.
- W1686673410 creator A5030837749 @default.
- W1686673410 creator A5061319366 @default.
- W1686673410 date "2002-11-19" @default.
- W1686673410 modified "2023-09-25" @default.
- W1686673410 title "Data link layer protocol correctness in FDDI networks" @default.
- W1686673410 doi "https://doi.org/10.1109/sicon.1995.526067" @default.
- W1686673410 hasPublicationYear "2002" @default.
- W1686673410 type Work @default.
- W1686673410 sameAs 1686673410 @default.
- W1686673410 citedByCount "0" @default.
- W1686673410 crossrefType "proceedings-article" @default.
- W1686673410 hasAuthorship W1686673410A5026623458 @default.
- W1686673410 hasAuthorship W1686673410A5030837749 @default.
- W1686673410 hasAuthorship W1686673410A5061319366 @default.
- W1686673410 hasConcept C111498074 @default.
- W1686673410 hasConcept C111919701 @default.
- W1686673410 hasConcept C120314980 @default.
- W1686673410 hasConcept C136643341 @default.
- W1686673410 hasConcept C136764020 @default.
- W1686673410 hasConcept C137471899 @default.
- W1686673410 hasConcept C142724271 @default.
- W1686673410 hasConcept C15569618 @default.
- W1686673410 hasConcept C19247436 @default.
- W1686673410 hasConcept C192835768 @default.
- W1686673410 hasConcept C199360897 @default.
- W1686673410 hasConcept C204787440 @default.
- W1686673410 hasConcept C2776329536 @default.
- W1686673410 hasConcept C2780385302 @default.
- W1686673410 hasConcept C31258907 @default.
- W1686673410 hasConcept C35292069 @default.
- W1686673410 hasConcept C41008148 @default.
- W1686673410 hasConcept C55439883 @default.
- W1686673410 hasConcept C555944384 @default.
- W1686673410 hasConcept C71924100 @default.
- W1686673410 hasConcept C7769488 @default.
- W1686673410 hasConcept C80444323 @default.
- W1686673410 hasConceptScore W1686673410C111498074 @default.
- W1686673410 hasConceptScore W1686673410C111919701 @default.
- W1686673410 hasConceptScore W1686673410C120314980 @default.
- W1686673410 hasConceptScore W1686673410C136643341 @default.
- W1686673410 hasConceptScore W1686673410C136764020 @default.
- W1686673410 hasConceptScore W1686673410C137471899 @default.
- W1686673410 hasConceptScore W1686673410C142724271 @default.
- W1686673410 hasConceptScore W1686673410C15569618 @default.
- W1686673410 hasConceptScore W1686673410C19247436 @default.
- W1686673410 hasConceptScore W1686673410C192835768 @default.
- W1686673410 hasConceptScore W1686673410C199360897 @default.
- W1686673410 hasConceptScore W1686673410C204787440 @default.
- W1686673410 hasConceptScore W1686673410C2776329536 @default.
- W1686673410 hasConceptScore W1686673410C2780385302 @default.
- W1686673410 hasConceptScore W1686673410C31258907 @default.
- W1686673410 hasConceptScore W1686673410C35292069 @default.
- W1686673410 hasConceptScore W1686673410C41008148 @default.
- W1686673410 hasConceptScore W1686673410C55439883 @default.
- W1686673410 hasConceptScore W1686673410C555944384 @default.
- W1686673410 hasConceptScore W1686673410C71924100 @default.
- W1686673410 hasConceptScore W1686673410C7769488 @default.
- W1686673410 hasConceptScore W1686673410C80444323 @default.
- W1686673410 hasLocation W16866734101 @default.
- W1686673410 hasOpenAccess W1686673410 @default.
- W1686673410 hasPrimaryLocation W16866734101 @default.
- W1686673410 hasRelatedWork W1514570516 @default.
- W1686673410 hasRelatedWork W1539584472 @default.
- W1686673410 hasRelatedWork W1588703988 @default.
- W1686673410 hasRelatedWork W159182928 @default.
- W1686673410 hasRelatedWork W1772534500 @default.
- W1686673410 hasRelatedWork W1926045754 @default.
- W1686673410 hasRelatedWork W1965164474 @default.
- W1686673410 hasRelatedWork W1965420983 @default.
- W1686673410 hasRelatedWork W1971489504 @default.
- W1686673410 hasRelatedWork W1979390572 @default.
- W1686673410 hasRelatedWork W2070568863 @default.
- W1686673410 hasRelatedWork W2077838400 @default.
- W1686673410 hasRelatedWork W2083568385 @default.
- W1686673410 hasRelatedWork W2100005844 @default.
- W1686673410 hasRelatedWork W2171147029 @default.
- W1686673410 hasRelatedWork W2350792670 @default.
- W1686673410 hasRelatedWork W2544905601 @default.
- W1686673410 hasRelatedWork W2734939546 @default.
- W1686673410 hasRelatedWork W2781384776 @default.
- W1686673410 hasRelatedWork W961277682 @default.
- W1686673410 isParatext "false" @default.
- W1686673410 isRetracted "false" @default.
- W1686673410 magId "1686673410" @default.
- W1686673410 workType "article" @default.