Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070672667> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2070672667 endingPage "105" @default.
- W2070672667 startingPage "95" @default.
- W2070672667 abstract "This work presents a specification language, called OZS, based on two formalisms: Object-Z and the statecharts. Such a specification style facilitates the modeling of systems with both reactive and functional aspects. The accent is placed on OZS semantics so as to give formal foundations to verification and simulation of OZS models. Every OZS model has a transition system as its semantic interpretation. Untimed and timed versions of the OZS semantics are presented. Both transition system models of an OZS class can be used for verification purposes by model checking. In this work, a real-word example is treated and the resulting specification is model-checked by using the Stanford Temporal Prover environment from Stanford." @default.
- W2070672667 created "2016-06-24" @default.
- W2070672667 creator A5015257103 @default.
- W2070672667 creator A5022466993 @default.
- W2070672667 creator A5063190509 @default.
- W2070672667 creator A5088770249 @default.
- W2070672667 date "2004-02-01" @default.
- W2070672667 modified "2023-09-24" @default.
- W2070672667 title "Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" @default.
- W2070672667 cites W120333500 @default.
- W2070672667 cites W1484437118 @default.
- W2070672667 cites W1525047356 @default.
- W2070672667 cites W1836821476 @default.
- W2070672667 cites W2004442217 @default.
- W2070672667 cites W2026781393 @default.
- W2070672667 cites W2099529102 @default.
- W2070672667 cites W2109193017 @default.
- W2070672667 cites W2695579202 @default.
- W2070672667 cites W4238309028 @default.
- W2070672667 doi "https://doi.org/10.1016/s0164-1212(02)00161-9" @default.
- W2070672667 hasPublicationYear "2004" @default.
- W2070672667 type Work @default.
- W2070672667 sameAs 2070672667 @default.
- W2070672667 citedByCount "22" @default.
- W2070672667 countsByYear W20706726672012 @default.
- W2070672667 countsByYear W20706726672013 @default.
- W2070672667 countsByYear W20706726672022 @default.
- W2070672667 crossrefType "journal-article" @default.
- W2070672667 hasAuthorship W2070672667A5015257103 @default.
- W2070672667 hasAuthorship W2070672667A5022466993 @default.
- W2070672667 hasAuthorship W2070672667A5063190509 @default.
- W2070672667 hasAuthorship W2070672667A5088770249 @default.
- W2070672667 hasConcept C111498074 @default.
- W2070672667 hasConcept C115903868 @default.
- W2070672667 hasConcept C116253237 @default.
- W2070672667 hasConcept C146499914 @default.
- W2070672667 hasConcept C184337299 @default.
- W2070672667 hasConcept C199360897 @default.
- W2070672667 hasConcept C41008148 @default.
- W2070672667 hasConcept C75606506 @default.
- W2070672667 hasConcept C90069079 @default.
- W2070672667 hasConceptScore W2070672667C111498074 @default.
- W2070672667 hasConceptScore W2070672667C115903868 @default.
- W2070672667 hasConceptScore W2070672667C116253237 @default.
- W2070672667 hasConceptScore W2070672667C146499914 @default.
- W2070672667 hasConceptScore W2070672667C184337299 @default.
- W2070672667 hasConceptScore W2070672667C199360897 @default.
- W2070672667 hasConceptScore W2070672667C41008148 @default.
- W2070672667 hasConceptScore W2070672667C75606506 @default.
- W2070672667 hasConceptScore W2070672667C90069079 @default.
- W2070672667 hasIssue "1-2" @default.
- W2070672667 hasLocation W20706726671 @default.
- W2070672667 hasOpenAccess W2070672667 @default.
- W2070672667 hasPrimaryLocation W20706726671 @default.
- W2070672667 hasRelatedWork W1490183133 @default.
- W2070672667 hasRelatedWork W1513140821 @default.
- W2070672667 hasRelatedWork W1531449390 @default.
- W2070672667 hasRelatedWork W1562467008 @default.
- W2070672667 hasRelatedWork W2156223462 @default.
- W2070672667 hasRelatedWork W2160119094 @default.
- W2070672667 hasRelatedWork W2576260943 @default.
- W2070672667 hasRelatedWork W27605384 @default.
- W2070672667 hasRelatedWork W2898425611 @default.
- W2070672667 hasRelatedWork W2957373997 @default.
- W2070672667 hasVolume "70" @default.
- W2070672667 isParatext "false" @default.
- W2070672667 isRetracted "false" @default.
- W2070672667 magId "2070672667" @default.
- W2070672667 workType "article" @default.