Event-B/SLP
classification
💻 cs.SE
keywords
event-balgorithmicaugmentedconstructsdevelopmentdisruptingevent-basedmodelling
read the original abstract
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.