Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems.

Fateh Latreche Abdelkader Moudjari Hichem Talbi

Published in: ICTAC (2019)

Keyphrases

reactive systems
model checking
formal methods
information flow
temporal logic
petri net
control flow
clinical trials
clinical practice
clinical data
patient data
real time systems
physiological processes
database
drug resistance
state machines
open source
information systems
artificial intelligence
data mining