Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099633493> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2099633493 abstract "This paper proposes a method for specification of concurrency and timing constraints of real-time systems. The key idea of the proposed method is to extend the Mazurkiewicz Traces with time in order to capture the concurrency and timing constraints among the services of systems. The method is formal, effective for abstracting and supporting automated checking." @default.
- W2099633493 created "2016-06-24" @default.
- W2099633493 creator A5012064902 @default.
- W2099633493 creator A5064360299 @default.
- W2099633493 date "2010-10-01" @default.
- W2099633493 modified "2023-09-25" @default.
- W2099633493 title "An Extension of Mazukiewicz Traces and their Applications in Specification of Real-Time Systems" @default.
- W2099633493 cites W1497903619 @default.
- W2099633493 cites W1863150103 @default.
- W2099633493 cites W1990300406 @default.
- W2099633493 cites W2101508170 @default.
- W2099633493 cites W2110468917 @default.
- W2099633493 cites W2112216707 @default.
- W2099633493 cites W2128578503 @default.
- W2099633493 cites W2143924779 @default.
- W2099633493 cites W2147311182 @default.
- W2099633493 cites W2150220388 @default.
- W2099633493 cites W2247420405 @default.
- W2099633493 cites W2912084748 @default.
- W2099633493 cites W89538287 @default.
- W2099633493 doi "https://doi.org/10.1109/kse.2010.39" @default.
- W2099633493 hasPublicationYear "2010" @default.
- W2099633493 type Work @default.
- W2099633493 sameAs 2099633493 @default.
- W2099633493 citedByCount "4" @default.
- W2099633493 countsByYear W20996334932012 @default.
- W2099633493 countsByYear W20996334932015 @default.
- W2099633493 countsByYear W20996334932017 @default.
- W2099633493 countsByYear W20996334932019 @default.
- W2099633493 crossrefType "proceedings-article" @default.
- W2099633493 hasAuthorship W2099633493A5012064902 @default.
- W2099633493 hasAuthorship W2099633493A5064360299 @default.
- W2099633493 hasConcept C110251889 @default.
- W2099633493 hasConcept C111498074 @default.
- W2099633493 hasConcept C111919701 @default.
- W2099633493 hasConcept C116253237 @default.
- W2099633493 hasConcept C120314980 @default.
- W2099633493 hasConcept C150495011 @default.
- W2099633493 hasConcept C193702766 @default.
- W2099633493 hasConcept C199360897 @default.
- W2099633493 hasConcept C26517878 @default.
- W2099633493 hasConcept C2778029271 @default.
- W2099633493 hasConcept C41008148 @default.
- W2099633493 hasConcept C75606506 @default.
- W2099633493 hasConcept C75949130 @default.
- W2099633493 hasConcept C84511453 @default.
- W2099633493 hasConceptScore W2099633493C110251889 @default.
- W2099633493 hasConceptScore W2099633493C111498074 @default.
- W2099633493 hasConceptScore W2099633493C111919701 @default.
- W2099633493 hasConceptScore W2099633493C116253237 @default.
- W2099633493 hasConceptScore W2099633493C120314980 @default.
- W2099633493 hasConceptScore W2099633493C150495011 @default.
- W2099633493 hasConceptScore W2099633493C193702766 @default.
- W2099633493 hasConceptScore W2099633493C199360897 @default.
- W2099633493 hasConceptScore W2099633493C26517878 @default.
- W2099633493 hasConceptScore W2099633493C2778029271 @default.
- W2099633493 hasConceptScore W2099633493C41008148 @default.
- W2099633493 hasConceptScore W2099633493C75606506 @default.
- W2099633493 hasConceptScore W2099633493C75949130 @default.
- W2099633493 hasConceptScore W2099633493C84511453 @default.
- W2099633493 hasLocation W20996334931 @default.
- W2099633493 hasOpenAccess W2099633493 @default.
- W2099633493 hasPrimaryLocation W20996334931 @default.
- W2099633493 hasRelatedWork W1510908891 @default.
- W2099633493 hasRelatedWork W1571812885 @default.
- W2099633493 hasRelatedWork W1945315779 @default.
- W2099633493 hasRelatedWork W1983890432 @default.
- W2099633493 hasRelatedWork W2081995564 @default.
- W2099633493 hasRelatedWork W2111492220 @default.
- W2099633493 hasRelatedWork W2141692389 @default.
- W2099633493 hasRelatedWork W2158392227 @default.
- W2099633493 hasRelatedWork W2474114533 @default.
- W2099633493 hasRelatedWork W2548853769 @default.
- W2099633493 hasRelatedWork W2808964174 @default.
- W2099633493 hasRelatedWork W2887757675 @default.
- W2099633493 hasRelatedWork W2888306311 @default.
- W2099633493 hasRelatedWork W2889322863 @default.
- W2099633493 hasRelatedWork W2938663211 @default.
- W2099633493 hasRelatedWork W2947265524 @default.
- W2099633493 hasRelatedWork W2992280302 @default.
- W2099633493 hasRelatedWork W2996306923 @default.
- W2099633493 hasRelatedWork W3088182729 @default.
- W2099633493 hasRelatedWork W3133880597 @default.
- W2099633493 isParatext "false" @default.
- W2099633493 isRetracted "false" @default.
- W2099633493 magId "2099633493" @default.
- W2099633493 workType "article" @default.