Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080691874> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2080691874 endingPage "332" @default.
- W2080691874 startingPage "332" @default.
- W2080691874 abstract "Real-time systems are becoming more and more complex, making it hard for the industrial community to actually use experimental tools which are able to resolve some of the specification and verification issues of such systems. This work presents a tool which automatically transforms a domain specific language for the specification of real-time systems into its corresponding time Petri net semantics together with some related logical formulas. Consequently, the validity of the generated formulas are automatically checked with regard to the generated model using the TINA model checking toolbox. Using this automatic tool chain, the users can check the validity of real-time systems without any prerequisite knowledge of how it actually was accomplished." @default.
- W2080691874 created "2016-06-24" @default.
- W2080691874 creator A5047901519 @default.
- W2080691874 creator A5082303779 @default.
- W2080691874 creator A5089844587 @default.
- W2080691874 date "2011-01-01" @default.
- W2080691874 modified "2023-09-25" @default.
- W2080691874 title "Specification and verification of real-time systems using POLA" @default.
- W2080691874 cites W122051066 @default.
- W2080691874 cites W1514680377 @default.
- W2080691874 cites W1589336320 @default.
- W2080691874 cites W1593414957 @default.
- W2080691874 cites W1596935793 @default.
- W2080691874 cites W1685204595 @default.
- W2080691874 cites W1996763308 @default.
- W2080691874 cites W2070996046 @default.
- W2080691874 cites W2112731771 @default.
- W2080691874 cites W2623474907 @default.
- W2080691874 cites W34442111 @default.
- W2080691874 doi "https://doi.org/10.1504/ijccbs.2011.042332" @default.
- W2080691874 hasPublicationYear "2011" @default.
- W2080691874 type Work @default.
- W2080691874 sameAs 2080691874 @default.
- W2080691874 citedByCount "5" @default.
- W2080691874 countsByYear W20806918742012 @default.
- W2080691874 countsByYear W20806918742013 @default.
- W2080691874 countsByYear W20806918742017 @default.
- W2080691874 countsByYear W20806918742020 @default.
- W2080691874 countsByYear W20806918742023 @default.
- W2080691874 crossrefType "journal-article" @default.
- W2080691874 hasAuthorship W2080691874A5047901519 @default.
- W2080691874 hasAuthorship W2080691874A5082303779 @default.
- W2080691874 hasAuthorship W2080691874A5089844587 @default.
- W2080691874 hasConcept C110251889 @default.
- W2080691874 hasConcept C111498074 @default.
- W2080691874 hasConcept C115903868 @default.
- W2080691874 hasConcept C116253237 @default.
- W2080691874 hasConcept C134306372 @default.
- W2080691874 hasConcept C184337299 @default.
- W2080691874 hasConcept C199360897 @default.
- W2080691874 hasConcept C201677973 @default.
- W2080691874 hasConcept C2777655017 @default.
- W2080691874 hasConcept C33923547 @default.
- W2080691874 hasConcept C36503486 @default.
- W2080691874 hasConcept C38677869 @default.
- W2080691874 hasConcept C41008148 @default.
- W2080691874 hasConceptScore W2080691874C110251889 @default.
- W2080691874 hasConceptScore W2080691874C111498074 @default.
- W2080691874 hasConceptScore W2080691874C115903868 @default.
- W2080691874 hasConceptScore W2080691874C116253237 @default.
- W2080691874 hasConceptScore W2080691874C134306372 @default.
- W2080691874 hasConceptScore W2080691874C184337299 @default.
- W2080691874 hasConceptScore W2080691874C199360897 @default.
- W2080691874 hasConceptScore W2080691874C201677973 @default.
- W2080691874 hasConceptScore W2080691874C2777655017 @default.
- W2080691874 hasConceptScore W2080691874C33923547 @default.
- W2080691874 hasConceptScore W2080691874C36503486 @default.
- W2080691874 hasConceptScore W2080691874C38677869 @default.
- W2080691874 hasConceptScore W2080691874C41008148 @default.
- W2080691874 hasIssue "3/4" @default.
- W2080691874 hasLocation W20806918741 @default.
- W2080691874 hasOpenAccess W2080691874 @default.
- W2080691874 hasPrimaryLocation W20806918741 @default.
- W2080691874 hasRelatedWork W174007698 @default.
- W2080691874 hasRelatedWork W2109457818 @default.
- W2080691874 hasRelatedWork W2156223462 @default.
- W2080691874 hasRelatedWork W2162263188 @default.
- W2080691874 hasRelatedWork W2248653679 @default.
- W2080691874 hasRelatedWork W2335507129 @default.
- W2080691874 hasRelatedWork W2350068048 @default.
- W2080691874 hasRelatedWork W2539124993 @default.
- W2080691874 hasRelatedWork W2576260943 @default.
- W2080691874 hasRelatedWork W948735282 @default.
- W2080691874 hasVolume "2" @default.
- W2080691874 isParatext "false" @default.
- W2080691874 isRetracted "false" @default.
- W2080691874 magId "2080691874" @default.
- W2080691874 workType "article" @default.