Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487611387> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1487611387 abstract "As networking grows, requirements for communication services become more complex, such as ‘time-critical-communication real time system.’ Existing FDTs for communication services and protocols aren’t sufficient for specifying of real time applications. In this paper, we propose T-PROMELA which can specify communication services for real time applications and T-SPIN which is the tool for testing and simulation of software in T-PROMELA." @default.
- W1487611387 created "2016-06-24" @default.
- W1487611387 creator A5024283176 @default.
- W1487611387 creator A5046959034 @default.
- W1487611387 creator A5046987979 @default.
- W1487611387 creator A5056078828 @default.
- W1487611387 creator A5080425286 @default.
- W1487611387 date "1995-01-01" @default.
- W1487611387 modified "2023-09-24" @default.
- W1487611387 title "Time Oriented Protocol Testing Simulator" @default.
- W1487611387 cites W1537122081 @default.
- W1487611387 cites W1594594840 @default.
- W1487611387 doi "https://doi.org/10.1007/978-0-387-34883-4_23" @default.
- W1487611387 hasPublicationYear "1995" @default.
- W1487611387 type Work @default.
- W1487611387 sameAs 1487611387 @default.
- W1487611387 citedByCount "0" @default.
- W1487611387 crossrefType "book-chapter" @default.
- W1487611387 hasAuthorship W1487611387A5024283176 @default.
- W1487611387 hasAuthorship W1487611387A5046959034 @default.
- W1487611387 hasAuthorship W1487611387A5046987979 @default.
- W1487611387 hasAuthorship W1487611387A5056078828 @default.
- W1487611387 hasAuthorship W1487611387A5080425286 @default.
- W1487611387 hasBestOaLocation W14876113871 @default.
- W1487611387 hasConcept C110251889 @default.
- W1487611387 hasConcept C111919701 @default.
- W1487611387 hasConcept C115903868 @default.
- W1487611387 hasConcept C120314980 @default.
- W1487611387 hasConcept C12269588 @default.
- W1487611387 hasConcept C142724271 @default.
- W1487611387 hasConcept C149635348 @default.
- W1487611387 hasConcept C188087704 @default.
- W1487611387 hasConcept C199360897 @default.
- W1487611387 hasConcept C204787440 @default.
- W1487611387 hasConcept C2776329536 @default.
- W1487611387 hasConcept C2777904410 @default.
- W1487611387 hasConcept C2780385302 @default.
- W1487611387 hasConcept C2780626145 @default.
- W1487611387 hasConcept C31258907 @default.
- W1487611387 hasConcept C41008148 @default.
- W1487611387 hasConcept C71924100 @default.
- W1487611387 hasConcept C76844732 @default.
- W1487611387 hasConceptScore W1487611387C110251889 @default.
- W1487611387 hasConceptScore W1487611387C111919701 @default.
- W1487611387 hasConceptScore W1487611387C115903868 @default.
- W1487611387 hasConceptScore W1487611387C120314980 @default.
- W1487611387 hasConceptScore W1487611387C12269588 @default.
- W1487611387 hasConceptScore W1487611387C142724271 @default.
- W1487611387 hasConceptScore W1487611387C149635348 @default.
- W1487611387 hasConceptScore W1487611387C188087704 @default.
- W1487611387 hasConceptScore W1487611387C199360897 @default.
- W1487611387 hasConceptScore W1487611387C204787440 @default.
- W1487611387 hasConceptScore W1487611387C2776329536 @default.
- W1487611387 hasConceptScore W1487611387C2777904410 @default.
- W1487611387 hasConceptScore W1487611387C2780385302 @default.
- W1487611387 hasConceptScore W1487611387C2780626145 @default.
- W1487611387 hasConceptScore W1487611387C31258907 @default.
- W1487611387 hasConceptScore W1487611387C41008148 @default.
- W1487611387 hasConceptScore W1487611387C71924100 @default.
- W1487611387 hasConceptScore W1487611387C76844732 @default.
- W1487611387 hasLocation W14876113871 @default.
- W1487611387 hasOpenAccess W1487611387 @default.
- W1487611387 hasPrimaryLocation W14876113871 @default.
- W1487611387 hasRelatedWork W1573277581 @default.
- W1487611387 hasRelatedWork W1581842094 @default.
- W1487611387 hasRelatedWork W1799956183 @default.
- W1487611387 hasRelatedWork W1983534499 @default.
- W1487611387 hasRelatedWork W1995619071 @default.
- W1487611387 hasRelatedWork W2013208178 @default.
- W1487611387 hasRelatedWork W2016960166 @default.
- W1487611387 hasRelatedWork W2065108906 @default.
- W1487611387 hasRelatedWork W2103116454 @default.
- W1487611387 hasRelatedWork W2114186177 @default.
- W1487611387 hasRelatedWork W2127486463 @default.
- W1487611387 hasRelatedWork W2129434369 @default.
- W1487611387 hasRelatedWork W2161550441 @default.
- W1487611387 hasRelatedWork W2169628884 @default.
- W1487611387 hasRelatedWork W2303862225 @default.
- W1487611387 hasRelatedWork W2379031278 @default.
- W1487611387 hasRelatedWork W2981826255 @default.
- W1487611387 hasRelatedWork W3108573523 @default.
- W1487611387 hasRelatedWork W334404484 @default.
- W1487611387 hasRelatedWork W1520549966 @default.
- W1487611387 isParatext "false" @default.
- W1487611387 isRetracted "false" @default.
- W1487611387 magId "1487611387" @default.
- W1487611387 workType "book-chapter" @default.