Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913145745> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2913145745 abstract "From the Publisher:Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state-of-the-art in theory, application, tools and industrialization of FDTs. Formal Description Techniques and Protocol Specification, Testing and Verification compiles the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing and was held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry." @default.
- W2913145745 created "2019-02-21" @default.
- W2913145745 creator A5032023772 @default.
- W2913145745 creator A5034444117 @default.
- W2913145745 creator A5072274443 @default.
- W2913145745 date "1998-11-03" @default.
- W2913145745 modified "2023-09-24" @default.
- W2913145745 title "Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)" @default.
- W2913145745 hasPublicationYear "1998" @default.
- W2913145745 type Work @default.
- W2913145745 sameAs 2913145745 @default.
- W2913145745 citedByCount "0" @default.
- W2913145745 crossrefType "journal-article" @default.
- W2913145745 hasAuthorship W2913145745A5032023772 @default.
- W2913145745 hasAuthorship W2913145745A5034444117 @default.
- W2913145745 hasAuthorship W2913145745A5072274443 @default.
- W2913145745 hasConcept C111498074 @default.
- W2913145745 hasConcept C111919701 @default.
- W2913145745 hasConcept C115903868 @default.
- W2913145745 hasConcept C116253237 @default.
- W2913145745 hasConcept C12269588 @default.
- W2913145745 hasConcept C142284323 @default.
- W2913145745 hasConcept C142724271 @default.
- W2913145745 hasConcept C186846655 @default.
- W2913145745 hasConcept C188087704 @default.
- W2913145745 hasConcept C199360897 @default.
- W2913145745 hasConcept C204787440 @default.
- W2913145745 hasConcept C2777904410 @default.
- W2913145745 hasConcept C2780385302 @default.
- W2913145745 hasConcept C31258907 @default.
- W2913145745 hasConcept C41008148 @default.
- W2913145745 hasConcept C529173508 @default.
- W2913145745 hasConcept C62460635 @default.
- W2913145745 hasConcept C71924100 @default.
- W2913145745 hasConcept C75606506 @default.
- W2913145745 hasConcept C76844732 @default.
- W2913145745 hasConcept C90069079 @default.
- W2913145745 hasConceptScore W2913145745C111498074 @default.
- W2913145745 hasConceptScore W2913145745C111919701 @default.
- W2913145745 hasConceptScore W2913145745C115903868 @default.
- W2913145745 hasConceptScore W2913145745C116253237 @default.
- W2913145745 hasConceptScore W2913145745C12269588 @default.
- W2913145745 hasConceptScore W2913145745C142284323 @default.
- W2913145745 hasConceptScore W2913145745C142724271 @default.
- W2913145745 hasConceptScore W2913145745C186846655 @default.
- W2913145745 hasConceptScore W2913145745C188087704 @default.
- W2913145745 hasConceptScore W2913145745C199360897 @default.
- W2913145745 hasConceptScore W2913145745C204787440 @default.
- W2913145745 hasConceptScore W2913145745C2777904410 @default.
- W2913145745 hasConceptScore W2913145745C2780385302 @default.
- W2913145745 hasConceptScore W2913145745C31258907 @default.
- W2913145745 hasConceptScore W2913145745C41008148 @default.
- W2913145745 hasConceptScore W2913145745C529173508 @default.
- W2913145745 hasConceptScore W2913145745C62460635 @default.
- W2913145745 hasConceptScore W2913145745C71924100 @default.
- W2913145745 hasConceptScore W2913145745C75606506 @default.
- W2913145745 hasConceptScore W2913145745C76844732 @default.
- W2913145745 hasConceptScore W2913145745C90069079 @default.
- W2913145745 hasLocation W29131457451 @default.
- W2913145745 hasOpenAccess W2913145745 @default.
- W2913145745 hasPrimaryLocation W29131457451 @default.
- W2913145745 hasRelatedWork W1508087306 @default.
- W2913145745 hasRelatedWork W1520592338 @default.
- W2913145745 hasRelatedWork W1537154714 @default.
- W2913145745 hasRelatedWork W1557589170 @default.
- W2913145745 hasRelatedWork W1588651990 @default.
- W2913145745 hasRelatedWork W1595707324 @default.
- W2913145745 hasRelatedWork W1743014618 @default.
- W2913145745 hasRelatedWork W1829924494 @default.
- W2913145745 hasRelatedWork W1876668708 @default.
- W2913145745 hasRelatedWork W2021607222 @default.
- W2913145745 hasRelatedWork W2033616587 @default.
- W2913145745 hasRelatedWork W2223980911 @default.
- W2913145745 hasRelatedWork W2225957723 @default.
- W2913145745 hasRelatedWork W2243535476 @default.
- W2913145745 hasRelatedWork W2255133889 @default.
- W2913145745 hasRelatedWork W2443092 @default.
- W2913145745 hasRelatedWork W265787630 @default.
- W2913145745 hasRelatedWork W2912900175 @default.
- W2913145745 hasRelatedWork W2990788567 @default.
- W2913145745 hasRelatedWork W3006113251 @default.
- W2913145745 isParatext "false" @default.
- W2913145745 isRetracted "false" @default.
- W2913145745 magId "2913145745" @default.
- W2913145745 workType "article" @default.