Kirk, Rhys
32  Ergebnisse:
Personensuche X
?
1

A formal framework for security testing of automotive over-..:

Kirk, Rhys ; Nguyen, Hoang Nga ; Bryans, Jeremy..
Journal of Logical and Algebraic Methods in Programming.  130 (2023)  - p. 100812 , 2023
 
?
2

Formalising UPTANE in CSP for Security Testing:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),
Kirk, Rhys ; Nguyen, Hoang Nga ; Bryans, Jeremy... - p. 816-824 , 2021
 
?
6

Ketamine Enhances Visual Sensory Evoked Potential Long-term..:

Sumner, Rachael L. ; McMillan, Rebecca ; Spriggs, Meg J....
Biological Psychiatry: Cognitive Neuroscience and Neuroimaging.  5 (2020)  1 - p. 45-55 , 2020
 
?
7

Contributors:

, In: Aircraft Sustainment and Repair,
Arnott, David R. ; Baker, Alan A. ; Barter, Simon A.... - p. xiii-xiv , 2018
 
?
 
?
15

Analytical approaches for assessing ecosystem condition and..:

DeFries, Ruth S ; Pagiola, Stefano ; Adamowicz, W. L...
http://ebrary.ifpri.org/cdm/ref/collection/p15738coll5/id/1668.  , 2005
 
1-15
Mehr Literatur finden