Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162844985> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2162844985 abstract "In this short paper we describe early work on a case study concerning a power window control unit. We use UML-B state machines to simultaneously model both the cyclic processing schedule and the mode of control behaviour. We find this a useful way to visualise the model, particularly when the state machines are animated via the Pro-B animator. We verify the state machines using the Event-B proof tools. We envisage new developments to the UML-B tool set to improve support for this modelling technique. The motivation for this simple but powerful form of modelling is the immediate benefit and low cost of entry making industrial adoption of formal models more attractive to industry." @default.
- W2162844985 created "2016-06-24" @default.
- W2162844985 creator A5018781402 @default.
- W2162844985 date "2011-06-21" @default.
- W2162844985 modified "2023-09-27" @default.
- W2162844985 title "Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines" @default.
- W2162844985 cites W1521713193 @default.
- W2162844985 cites W1544621933 @default.
- W2162844985 cites W1956579087 @default.
- W2162844985 cites W1985804037 @default.
- W2162844985 cites W2617307175 @default.
- W2162844985 cites W66632153 @default.
- W2162844985 hasPublicationYear "2011" @default.
- W2162844985 type Work @default.
- W2162844985 sameAs 2162844985 @default.
- W2162844985 citedByCount "2" @default.
- W2162844985 countsByYear W21628449852016 @default.
- W2162844985 countsByYear W21628449852018 @default.
- W2162844985 crossrefType "journal-article" @default.
- W2162844985 hasAuthorship W2162844985A5018781402 @default.
- W2162844985 hasConcept C107457646 @default.
- W2162844985 hasConcept C111919701 @default.
- W2162844985 hasConcept C115903868 @default.
- W2162844985 hasConcept C121332964 @default.
- W2162844985 hasConcept C127413603 @default.
- W2162844985 hasConcept C133731056 @default.
- W2162844985 hasConcept C13736549 @default.
- W2162844985 hasConcept C145644426 @default.
- W2162844985 hasConcept C154945302 @default.
- W2162844985 hasConcept C167822520 @default.
- W2162844985 hasConcept C177264268 @default.
- W2162844985 hasConcept C199360897 @default.
- W2162844985 hasConcept C2775924081 @default.
- W2162844985 hasConcept C2777904410 @default.
- W2162844985 hasConcept C2779662365 @default.
- W2162844985 hasConcept C41008148 @default.
- W2162844985 hasConcept C48103436 @default.
- W2162844985 hasConcept C48677424 @default.
- W2162844985 hasConcept C62520636 @default.
- W2162844985 hasConcept C68387754 @default.
- W2162844985 hasConcept C98045186 @default.
- W2162844985 hasConceptScore W2162844985C107457646 @default.
- W2162844985 hasConceptScore W2162844985C111919701 @default.
- W2162844985 hasConceptScore W2162844985C115903868 @default.
- W2162844985 hasConceptScore W2162844985C121332964 @default.
- W2162844985 hasConceptScore W2162844985C127413603 @default.
- W2162844985 hasConceptScore W2162844985C133731056 @default.
- W2162844985 hasConceptScore W2162844985C13736549 @default.
- W2162844985 hasConceptScore W2162844985C145644426 @default.
- W2162844985 hasConceptScore W2162844985C154945302 @default.
- W2162844985 hasConceptScore W2162844985C167822520 @default.
- W2162844985 hasConceptScore W2162844985C177264268 @default.
- W2162844985 hasConceptScore W2162844985C199360897 @default.
- W2162844985 hasConceptScore W2162844985C2775924081 @default.
- W2162844985 hasConceptScore W2162844985C2777904410 @default.
- W2162844985 hasConceptScore W2162844985C2779662365 @default.
- W2162844985 hasConceptScore W2162844985C41008148 @default.
- W2162844985 hasConceptScore W2162844985C48103436 @default.
- W2162844985 hasConceptScore W2162844985C48677424 @default.
- W2162844985 hasConceptScore W2162844985C62520636 @default.
- W2162844985 hasConceptScore W2162844985C68387754 @default.
- W2162844985 hasConceptScore W2162844985C98045186 @default.
- W2162844985 hasLocation W21628449851 @default.
- W2162844985 hasOpenAccess W2162844985 @default.
- W2162844985 hasPrimaryLocation W21628449851 @default.
- W2162844985 hasRelatedWork W120109520 @default.
- W2162844985 hasRelatedWork W129766367 @default.
- W2162844985 hasRelatedWork W1502921979 @default.
- W2162844985 hasRelatedWork W1602797019 @default.
- W2162844985 hasRelatedWork W2012791076 @default.
- W2162844985 hasRelatedWork W2086117361 @default.
- W2162844985 hasRelatedWork W2126385150 @default.
- W2162844985 hasRelatedWork W2440883457 @default.
- W2162844985 hasRelatedWork W2471467496 @default.
- W2162844985 hasRelatedWork W2618299054 @default.
- W2162844985 hasRelatedWork W281667477 @default.
- W2162844985 hasRelatedWork W2935844103 @default.
- W2162844985 hasRelatedWork W3014326902 @default.
- W2162844985 hasRelatedWork W3112165139 @default.
- W2162844985 hasRelatedWork W3161736591 @default.
- W2162844985 hasRelatedWork W3199149012 @default.
- W2162844985 hasRelatedWork W47687774 @default.
- W2162844985 hasRelatedWork W615649978 @default.
- W2162844985 hasRelatedWork W812934231 @default.
- W2162844985 hasRelatedWork W846501388 @default.
- W2162844985 isParatext "false" @default.
- W2162844985 isRetracted "false" @default.
- W2162844985 magId "2162844985" @default.
- W2162844985 workType "article" @default.