The scope of this work is dedicated to facitating the use and usage of formal modelling technique in the health informatics community by promoting a promising series of tool based on modal logic and especially developping deontic logic (permissions, obligations,...).
ABANDON
cen:proj:21964
30.98
Project deleted
Mar 15, 2000
