Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575006487> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1575006487 abstract "System specification and functionality are primary requirements in modeling and design of complex and automated systems. Z notation is a powerful language used for specification. Automata theory is a graph-based tool for modeling and capturing behavior of automated systems. In this paper, an effective combination of the two approaches is presented to propose a novel integrated approach. The integration will help to program the automata for verification of systems. A case study of vending machine is taken to evaluate the proposed approach. First of all, abstract formal specification of Deterministic Finite Automata is presented. Then an automaton of vending machine is described. A linkage between abstract model of automata and real study of vending machine is investigated. A string accepter in automata helps to describe buying the product operation in the vending machine. The language accepter in automata is mapped with the complete functional machine. The specification is described using Z notation and analyzed using Z/Eves tool." @default.
- W1575006487 created "2016-06-24" @default.
- W1575006487 creator A5022909686 @default.
- W1575006487 creator A5067953308 @default.
- W1575006487 date "2014-12-01" @default.
- W1575006487 modified "2023-09-27" @default.
- W1575006487 title "Applicability of Integrating Automata and Z: A Case Study" @default.
- W1575006487 cites W1488235988 @default.
- W1575006487 cites W1524760418 @default.
- W1575006487 cites W1555847525 @default.
- W1575006487 cites W1571835775 @default.
- W1575006487 cites W1586668623 @default.
- W1575006487 cites W170340177 @default.
- W1575006487 cites W1970322966 @default.
- W1575006487 cites W1994584977 @default.
- W1575006487 cites W2003250112 @default.
- W1575006487 cites W2057581948 @default.
- W1575006487 cites W2107179885 @default.
- W1575006487 cites W2108434092 @default.
- W1575006487 cites W2137309431 @default.
- W1575006487 cites W2144973245 @default.
- W1575006487 cites W2153764255 @default.
- W1575006487 cites W2644073 @default.
- W1575006487 doi "https://doi.org/10.1109/fit.2014.28" @default.
- W1575006487 hasPublicationYear "2014" @default.
- W1575006487 type Work @default.
- W1575006487 sameAs 1575006487 @default.
- W1575006487 citedByCount "0" @default.
- W1575006487 crossrefType "proceedings-article" @default.
- W1575006487 hasAuthorship W1575006487A5022909686 @default.
- W1575006487 hasAuthorship W1575006487A5067953308 @default.
- W1575006487 hasConcept C111498074 @default.
- W1575006487 hasConcept C112505250 @default.
- W1575006487 hasConcept C116248031 @default.
- W1575006487 hasConcept C116253237 @default.
- W1575006487 hasConcept C121329065 @default.
- W1575006487 hasConcept C146072743 @default.
- W1575006487 hasConcept C167822520 @default.
- W1575006487 hasConcept C199360897 @default.
- W1575006487 hasConcept C201677973 @default.
- W1575006487 hasConcept C33923547 @default.
- W1575006487 hasConcept C41008148 @default.
- W1575006487 hasConcept C45357846 @default.
- W1575006487 hasConcept C80444323 @default.
- W1575006487 hasConcept C94375191 @default.
- W1575006487 hasConceptScore W1575006487C111498074 @default.
- W1575006487 hasConceptScore W1575006487C112505250 @default.
- W1575006487 hasConceptScore W1575006487C116248031 @default.
- W1575006487 hasConceptScore W1575006487C116253237 @default.
- W1575006487 hasConceptScore W1575006487C121329065 @default.
- W1575006487 hasConceptScore W1575006487C146072743 @default.
- W1575006487 hasConceptScore W1575006487C167822520 @default.
- W1575006487 hasConceptScore W1575006487C199360897 @default.
- W1575006487 hasConceptScore W1575006487C201677973 @default.
- W1575006487 hasConceptScore W1575006487C33923547 @default.
- W1575006487 hasConceptScore W1575006487C41008148 @default.
- W1575006487 hasConceptScore W1575006487C45357846 @default.
- W1575006487 hasConceptScore W1575006487C80444323 @default.
- W1575006487 hasConceptScore W1575006487C94375191 @default.
- W1575006487 hasLocation W15750064871 @default.
- W1575006487 hasOpenAccess W1575006487 @default.
- W1575006487 hasPrimaryLocation W15750064871 @default.
- W1575006487 hasRelatedWork W1499115687 @default.
- W1575006487 hasRelatedWork W1500211907 @default.
- W1575006487 hasRelatedWork W1536552036 @default.
- W1575006487 hasRelatedWork W1575006487 @default.
- W1575006487 hasRelatedWork W2125996595 @default.
- W1575006487 hasRelatedWork W2138398927 @default.
- W1575006487 hasRelatedWork W2153764255 @default.
- W1575006487 hasRelatedWork W2810295409 @default.
- W1575006487 hasRelatedWork W2957373997 @default.
- W1575006487 hasRelatedWork W3168724739 @default.
- W1575006487 isParatext "false" @default.
- W1575006487 isRetracted "false" @default.
- W1575006487 magId "1575006487" @default.
- W1575006487 workType "article" @default.