Verifying a medical protocol with temporal graphs: The case of a nosocomial disease

رویکرد پیشنهادی اجازه می دهد تا مدل سازی بصری استدلال های زمانی و رسمی شدن دانش که می تواند در تشخیص و درمان عفونت های بیمارستانی و برخی از مشکلات بالینی کمک کند. این اولین بار است که بر مدل سازی وضعیت زمانی در نمودارهای مفهومی تأکید می شود. این همچنین یک روش تایید رسمی برای تجزیه و تحلیل دستورالعمل بالینی ارائه می دهد.