Browsing by Author "Parker, David"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Automated Game-Theoretic Verification of Security Systems(Springer, 2019-10-18) Mu, Chunyan; Parker, David; Wolf, Verena; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint(2019-03-07) Mu, Chunyan; Henze, Richard; Puljiz, Mata; Kamaleson, Nishanthan; Huwald, Jan; Haslegrave, John; Di Fenizio, Pietro Speroni; Parker, David; Good, Christopher; Rowe, Jonathan E.; Dittrich, Peter; Ibrahim, Bashar; University of Aberdeen.Computing Science