A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking
Fig 11
MA graph representing the multiscale organization of the acute inflammation of the gut and lung computational model.