3 citations · 4 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2009★ 3 cited
Can Component/Service-Based Systems Be Proved Correct?
Christian Attiogbe
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. A componen…
cs.SE2009★ 1 cited
Modelling and Analysing Dynamic Decentralised Systems
Christian Attiogbe
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach wit…