* finding an example about possible conflicts and modelling them using VDM
@ 2010-07-22 10:53 Mr.Spark
0 siblings, 0 replies; only message in thread
From: Mr.Spark @ 2010-07-22 10:53 UTC (permalink / raw)
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 ..
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-07-22 10:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-07-22 10:53 finding an example about possible conflicts and modelling them using VDM Mr.Spark
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox