Matches in SemOpenAlex for { <https://semopenalex.org/work/W3095125174> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3095125174 abstract "To develop IoT and/or CSP systems, we need consider both continuous data from physical world and discrete data in computer systems. Such a system is called a hybrid system. Because of density of continuous data, it is not easy to do software testing to ensure reliability of hybrid systems. Moreover, the size of the state space increases exponentially for multitask systems. Formal descriptions of hybrid systems may help us to verify desired properties of a given system formally with computer supports. In this paper, we propose a way to describe a formal specification of a given multitask hybrid system as an observational transition system in CafeOBJ algebraic specification language and verify it by the proof score method based on equational reasoning implemented in CafeOBJ interpreter." @default.
- W3095125174 created "2020-11-09" @default.
- W3095125174 creator A5030173635 @default.
- W3095125174 creator A5035411012 @default.
- W3095125174 creator A5054747843 @default.
- W3095125174 date "2020-10-28" @default.
- W3095125174 modified "2023-09-27" @default.
- W3095125174 title "Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method." @default.
- W3095125174 cites W1498922229 @default.
- W3095125174 cites W1608072156 @default.
- W3095125174 cites W2006340882 @default.
- W3095125174 cites W2053701705 @default.
- W3095125174 cites W29114720 @default.
- W3095125174 cites W3102470859 @default.
- W3095125174 hasPublicationYear "2020" @default.
- W3095125174 type Work @default.
- W3095125174 sameAs 3095125174 @default.
- W3095125174 citedByCount "0" @default.
- W3095125174 crossrefType "posted-content" @default.
- W3095125174 hasAuthorship W3095125174A5030173635 @default.
- W3095125174 hasAuthorship W3095125174A5035411012 @default.
- W3095125174 hasAuthorship W3095125174A5054747843 @default.
- W3095125174 hasConcept C119857082 @default.
- W3095125174 hasConcept C122783720 @default.
- W3095125174 hasConcept C199360897 @default.
- W3095125174 hasConcept C201677973 @default.
- W3095125174 hasConcept C2777691520 @default.
- W3095125174 hasConcept C2779167558 @default.
- W3095125174 hasConcept C41008148 @default.
- W3095125174 hasConcept C50897621 @default.
- W3095125174 hasConcept C80444323 @default.
- W3095125174 hasConceptScore W3095125174C119857082 @default.
- W3095125174 hasConceptScore W3095125174C122783720 @default.
- W3095125174 hasConceptScore W3095125174C199360897 @default.
- W3095125174 hasConceptScore W3095125174C201677973 @default.
- W3095125174 hasConceptScore W3095125174C2777691520 @default.
- W3095125174 hasConceptScore W3095125174C2779167558 @default.
- W3095125174 hasConceptScore W3095125174C41008148 @default.
- W3095125174 hasConceptScore W3095125174C50897621 @default.
- W3095125174 hasConceptScore W3095125174C80444323 @default.
- W3095125174 hasLocation W30951251741 @default.
- W3095125174 hasOpenAccess W3095125174 @default.
- W3095125174 hasPrimaryLocation W30951251741 @default.
- W3095125174 hasRelatedWork W1491738330 @default.
- W3095125174 hasRelatedWork W1742691233 @default.
- W3095125174 hasRelatedWork W194720932 @default.
- W3095125174 hasRelatedWork W1948178245 @default.
- W3095125174 hasRelatedWork W1980298079 @default.
- W3095125174 hasRelatedWork W2001574015 @default.
- W3095125174 hasRelatedWork W2057391999 @default.
- W3095125174 hasRelatedWork W2072846861 @default.
- W3095125174 hasRelatedWork W2119261249 @default.
- W3095125174 hasRelatedWork W2123034249 @default.
- W3095125174 hasRelatedWork W2160937337 @default.
- W3095125174 hasRelatedWork W2254688643 @default.
- W3095125174 hasRelatedWork W2293614348 @default.
- W3095125174 hasRelatedWork W2295198103 @default.
- W3095125174 hasRelatedWork W2527335536 @default.
- W3095125174 hasRelatedWork W2532790465 @default.
- W3095125174 hasRelatedWork W2897475762 @default.
- W3095125174 hasRelatedWork W2935617169 @default.
- W3095125174 hasRelatedWork W3104029199 @default.
- W3095125174 hasRelatedWork W80124474 @default.
- W3095125174 isParatext "false" @default.
- W3095125174 isRetracted "false" @default.
- W3095125174 magId "3095125174" @default.
- W3095125174 workType "article" @default.