Prev: The Ada Connection - 20-24 June 2011, Edinburgh, UK
Next: Elaboration query
From: Mr.Spark on 22 Jul 2010 06:53

Hi guys,

I need to add an extension to the models that I already have about
Virtual Organizations.

The problem is I have a scenario which is based on civil-context major
incident and I need to find a conflict that might arise during their
response to the incident.

Then I have to model that conflict using VDM. If at least I have an
example of a conflict that might arise it would be a great help to
start writing the specification for it and then modelling it.

Thanks guys .. For the great effort in this group ..

 | 
Pages: 1
Prev: The Ada Connection - 20-24 June 2011, Edinburgh, UK
Next: Elaboration query