1 citations · 1 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013
Towards a Formalism-Based Toolkit for Automotive Applications
Rainer Gmehlich, Katrin Grau, Alexei Iliasov +3
The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development pr…
cs.SE2013
Event-B/SLP
Alexei Iliasov
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.