Projekta Nr.-
NosaukumsThe 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,...).
Reģistrācijas numurs (WIID)21964
Darbības sfēraThe 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,...).
StatussIzstrādē
ICS grupaNav uzstādīts