Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288804540> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4288804540 abstract "Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement process. In this paper, we present a trace refinement technique and tool called BERT that allows designers to ensure the behavioral integrity of high-level traces at the concrete level. The proposed technique is evaluated within the context of the B and Event-B methods on industrial-strength case studies from the automotive domain." @default.
- W4288804540 created "2022-07-30" @default.
- W4288804540 creator A5057561309 @default.
- W4288804540 creator A5058847017 @default.
- W4288804540 creator A5076310687 @default.
- W4288804540 creator A5089811302 @default.
- W4288804540 date "2022-07-28" @default.
- W4288804540 modified "2023-10-16" @default.
- W4288804540 title "Trace Refinement in B and Event-B" @default.
- W4288804540 doi "https://doi.org/10.48550/arxiv.2207.14043" @default.
- W4288804540 hasPublicationYear "2022" @default.
- W4288804540 type Work @default.
- W4288804540 citedByCount "0" @default.
- W4288804540 crossrefType "posted-content" @default.
- W4288804540 hasAuthorship W4288804540A5057561309 @default.
- W4288804540 hasAuthorship W4288804540A5058847017 @default.
- W4288804540 hasAuthorship W4288804540A5076310687 @default.
- W4288804540 hasAuthorship W4288804540A5089811302 @default.
- W4288804540 hasBestOaLocation W42888045401 @default.
- W4288804540 hasConcept C121332964 @default.
- W4288804540 hasConcept C127313418 @default.
- W4288804540 hasConcept C127413603 @default.
- W4288804540 hasConcept C134306372 @default.
- W4288804540 hasConcept C138885662 @default.
- W4288804540 hasConcept C146978453 @default.
- W4288804540 hasConcept C151730666 @default.
- W4288804540 hasConcept C199360897 @default.
- W4288804540 hasConcept C2779343474 @default.
- W4288804540 hasConcept C2779662365 @default.
- W4288804540 hasConcept C33923547 @default.
- W4288804540 hasConcept C36503486 @default.
- W4288804540 hasConcept C41008148 @default.
- W4288804540 hasConcept C41895202 @default.
- W4288804540 hasConcept C526921623 @default.
- W4288804540 hasConcept C62520636 @default.
- W4288804540 hasConcept C75291252 @default.
- W4288804540 hasConcept C98045186 @default.
- W4288804540 hasConceptScore W4288804540C121332964 @default.
- W4288804540 hasConceptScore W4288804540C127313418 @default.
- W4288804540 hasConceptScore W4288804540C127413603 @default.
- W4288804540 hasConceptScore W4288804540C134306372 @default.
- W4288804540 hasConceptScore W4288804540C138885662 @default.
- W4288804540 hasConceptScore W4288804540C146978453 @default.
- W4288804540 hasConceptScore W4288804540C151730666 @default.
- W4288804540 hasConceptScore W4288804540C199360897 @default.
- W4288804540 hasConceptScore W4288804540C2779343474 @default.
- W4288804540 hasConceptScore W4288804540C2779662365 @default.
- W4288804540 hasConceptScore W4288804540C33923547 @default.
- W4288804540 hasConceptScore W4288804540C36503486 @default.
- W4288804540 hasConceptScore W4288804540C41008148 @default.
- W4288804540 hasConceptScore W4288804540C41895202 @default.
- W4288804540 hasConceptScore W4288804540C526921623 @default.
- W4288804540 hasConceptScore W4288804540C62520636 @default.
- W4288804540 hasConceptScore W4288804540C75291252 @default.
- W4288804540 hasConceptScore W4288804540C98045186 @default.
- W4288804540 hasLocation W42888045401 @default.
- W4288804540 hasOpenAccess W4288804540 @default.
- W4288804540 hasPrimaryLocation W42888045401 @default.
- W4288804540 hasRelatedWork W10153496 @default.
- W4288804540 hasRelatedWork W1808542 @default.
- W4288804540 hasRelatedWork W4053971 @default.
- W4288804540 hasRelatedWork W4628921 @default.
- W4288804540 hasRelatedWork W5025519 @default.
- W4288804540 hasRelatedWork W573567 @default.
- W4288804540 hasRelatedWork W8517275 @default.
- W4288804540 hasRelatedWork W8653742 @default.
- W4288804540 hasRelatedWork W9538078 @default.
- W4288804540 hasRelatedWork W9740894 @default.
- W4288804540 isParatext "false" @default.
- W4288804540 isRetracted "false" @default.
- W4288804540 workType "article" @default.