Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372597050> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2372597050 abstract "Real-time systems with data constraints refer to computing systems both with time-bound and data variables constraints.Now there are few studies about the specification and verification of a unified model which connects discrete data constraints and continuous-time together.The article presented a ZIA specification based on continuous-time which not only has continuous-time constraints,but also has discrete data constraints and then gave its temporal logic. MARTE is a modeling specification of a UML profile in the field of embedded real-time systems.MARTE is widely used in industry,but studies about its model checking are few.The article proposed Z-MARTE by expanding Z on MARTE,and converted Z-MARTE to a ZIA model based on continuous-time.When model checking for ZIA model based on continuous-time is realized,model checking for Z-MARTE is realized.Finally,an example was given to indicate that this method is feasible and effective." @default.
- W2372597050 created "2016-06-24" @default.
- W2372597050 creator A5006941888 @default.
- W2372597050 date "2014-01-01" @default.
- W2372597050 modified "2023-09-26" @default.
- W2372597050 title "Model Checking for Real-time Systems with Data Constraints" @default.
- W2372597050 hasPublicationYear "2014" @default.
- W2372597050 type Work @default.
- W2372597050 sameAs 2372597050 @default.
- W2372597050 citedByCount "0" @default.
- W2372597050 crossrefType "journal-article" @default.
- W2372597050 hasAuthorship W2372597050A5006941888 @default.
- W2372597050 hasConcept C105795698 @default.
- W2372597050 hasConcept C110251889 @default.
- W2372597050 hasConcept C145644426 @default.
- W2372597050 hasConcept C199360897 @default.
- W2372597050 hasConcept C202444582 @default.
- W2372597050 hasConcept C25016198 @default.
- W2372597050 hasConcept C2777904410 @default.
- W2372597050 hasConcept C33923547 @default.
- W2372597050 hasConcept C41008148 @default.
- W2372597050 hasConcept C55689738 @default.
- W2372597050 hasConcept C79403827 @default.
- W2372597050 hasConcept C9652623 @default.
- W2372597050 hasConceptScore W2372597050C105795698 @default.
- W2372597050 hasConceptScore W2372597050C110251889 @default.
- W2372597050 hasConceptScore W2372597050C145644426 @default.
- W2372597050 hasConceptScore W2372597050C199360897 @default.
- W2372597050 hasConceptScore W2372597050C202444582 @default.
- W2372597050 hasConceptScore W2372597050C25016198 @default.
- W2372597050 hasConceptScore W2372597050C2777904410 @default.
- W2372597050 hasConceptScore W2372597050C33923547 @default.
- W2372597050 hasConceptScore W2372597050C41008148 @default.
- W2372597050 hasConceptScore W2372597050C55689738 @default.
- W2372597050 hasConceptScore W2372597050C79403827 @default.
- W2372597050 hasConceptScore W2372597050C9652623 @default.
- W2372597050 hasLocation W23725970501 @default.
- W2372597050 hasOpenAccess W2372597050 @default.
- W2372597050 hasPrimaryLocation W23725970501 @default.
- W2372597050 hasRelatedWork W1502713995 @default.
- W2372597050 hasRelatedWork W1549588850 @default.
- W2372597050 hasRelatedWork W157143398 @default.
- W2372597050 hasRelatedWork W1828963152 @default.
- W2372597050 hasRelatedWork W1863652788 @default.
- W2372597050 hasRelatedWork W2100139843 @default.
- W2372597050 hasRelatedWork W2189517211 @default.
- W2372597050 hasRelatedWork W21918023 @default.
- W2372597050 hasRelatedWork W2295497019 @default.
- W2372597050 hasRelatedWork W2397032708 @default.
- W2372597050 hasRelatedWork W2488068247 @default.
- W2372597050 hasRelatedWork W2559278525 @default.
- W2372597050 hasRelatedWork W2735956334 @default.
- W2372597050 hasRelatedWork W2752540812 @default.
- W2372597050 hasRelatedWork W2811507509 @default.
- W2372597050 hasRelatedWork W2888646216 @default.
- W2372597050 hasRelatedWork W2911583164 @default.
- W2372597050 hasRelatedWork W3003459900 @default.
- W2372597050 hasRelatedWork W3143956724 @default.
- W2372597050 hasRelatedWork W3150296716 @default.
- W2372597050 isParatext "false" @default.
- W2372597050 isRetracted "false" @default.
- W2372597050 magId "2372597050" @default.
- W2372597050 workType "article" @default.