Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254808108> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4254808108 abstract "Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to derive formal specifications from such informal specification. In this paper we model Session Initiation Protocol (SIP) by parameterized extended finite state machines. We also provide insights gained in the derivation of the formal specification." @default.
- W4254808108 created "2022-05-12" @default.
- W4254808108 creator A5029721738 @default.
- W4254808108 creator A5035292460 @default.
- W4254808108 creator A5060470951 @default.
- W4254808108 creator A5083675785 @default.
- W4254808108 date "2007-12-01" @default.
- W4254808108 modified "2023-09-25" @default.
- W4254808108 title "Modeling Session Initiation Protocol with Extended Finite State Machines" @default.
- W4254808108 doi "https://doi.org/10.1109/pdcat.2007.4420207" @default.
- W4254808108 hasPublicationYear "2007" @default.
- W4254808108 type Work @default.
- W4254808108 citedByCount "0" @default.
- W4254808108 crossrefType "proceedings-article" @default.
- W4254808108 hasAuthorship W4254808108A5029721738 @default.
- W4254808108 hasAuthorship W4254808108A5035292460 @default.
- W4254808108 hasAuthorship W4254808108A5060470951 @default.
- W4254808108 hasAuthorship W4254808108A5083675785 @default.
- W4254808108 hasConcept C110251889 @default.
- W4254808108 hasConcept C111498074 @default.
- W4254808108 hasConcept C111919701 @default.
- W4254808108 hasConcept C11413529 @default.
- W4254808108 hasConcept C116253237 @default.
- W4254808108 hasConcept C120314980 @default.
- W4254808108 hasConcept C12269588 @default.
- W4254808108 hasConcept C136764020 @default.
- W4254808108 hasConcept C142724271 @default.
- W4254808108 hasConcept C145243422 @default.
- W4254808108 hasConcept C165464430 @default.
- W4254808108 hasConcept C167822520 @default.
- W4254808108 hasConcept C181062253 @default.
- W4254808108 hasConcept C188087704 @default.
- W4254808108 hasConcept C199360897 @default.
- W4254808108 hasConcept C204787440 @default.
- W4254808108 hasConcept C2779182362 @default.
- W4254808108 hasConcept C2780385302 @default.
- W4254808108 hasConcept C31258907 @default.
- W4254808108 hasConcept C41008148 @default.
- W4254808108 hasConcept C41878487 @default.
- W4254808108 hasConcept C48103436 @default.
- W4254808108 hasConcept C71924100 @default.
- W4254808108 hasConcept C75606506 @default.
- W4254808108 hasConcept C76844732 @default.
- W4254808108 hasConcept C80444323 @default.
- W4254808108 hasConcept C90069079 @default.
- W4254808108 hasConcept C98045186 @default.
- W4254808108 hasConceptScore W4254808108C110251889 @default.
- W4254808108 hasConceptScore W4254808108C111498074 @default.
- W4254808108 hasConceptScore W4254808108C111919701 @default.
- W4254808108 hasConceptScore W4254808108C11413529 @default.
- W4254808108 hasConceptScore W4254808108C116253237 @default.
- W4254808108 hasConceptScore W4254808108C120314980 @default.
- W4254808108 hasConceptScore W4254808108C12269588 @default.
- W4254808108 hasConceptScore W4254808108C136764020 @default.
- W4254808108 hasConceptScore W4254808108C142724271 @default.
- W4254808108 hasConceptScore W4254808108C145243422 @default.
- W4254808108 hasConceptScore W4254808108C165464430 @default.
- W4254808108 hasConceptScore W4254808108C167822520 @default.
- W4254808108 hasConceptScore W4254808108C181062253 @default.
- W4254808108 hasConceptScore W4254808108C188087704 @default.
- W4254808108 hasConceptScore W4254808108C199360897 @default.
- W4254808108 hasConceptScore W4254808108C204787440 @default.
- W4254808108 hasConceptScore W4254808108C2779182362 @default.
- W4254808108 hasConceptScore W4254808108C2780385302 @default.
- W4254808108 hasConceptScore W4254808108C31258907 @default.
- W4254808108 hasConceptScore W4254808108C41008148 @default.
- W4254808108 hasConceptScore W4254808108C41878487 @default.
- W4254808108 hasConceptScore W4254808108C48103436 @default.
- W4254808108 hasConceptScore W4254808108C71924100 @default.
- W4254808108 hasConceptScore W4254808108C75606506 @default.
- W4254808108 hasConceptScore W4254808108C76844732 @default.
- W4254808108 hasConceptScore W4254808108C80444323 @default.
- W4254808108 hasConceptScore W4254808108C90069079 @default.
- W4254808108 hasConceptScore W4254808108C98045186 @default.
- W4254808108 hasLocation W42548081081 @default.
- W4254808108 hasOpenAccess W4254808108 @default.
- W4254808108 hasPrimaryLocation W42548081081 @default.
- W4254808108 hasRelatedWork W1596812210 @default.
- W4254808108 hasRelatedWork W1979390572 @default.
- W4254808108 hasRelatedWork W2098613964 @default.
- W4254808108 hasRelatedWork W2130248986 @default.
- W4254808108 hasRelatedWork W2133953358 @default.
- W4254808108 hasRelatedWork W2146747654 @default.
- W4254808108 hasRelatedWork W2955892663 @default.
- W4254808108 hasRelatedWork W3151628986 @default.
- W4254808108 hasRelatedWork W4254808108 @default.
- W4254808108 hasRelatedWork W3090214085 @default.
- W4254808108 isParatext "false" @default.
- W4254808108 isRetracted "false" @default.
- W4254808108 workType "article" @default.