Search results for: Tim King
Formal Methods in System Design > 2017 > 51 > 3 > 500-532
Requirements Engineering > 2017 > 22 > 2 > 167-190
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) > 8C3-1 - 8C3-7
2013 Formal Methods in Computer-Aided Design > 189 - 196
Estuaries and Coasts > 2013 > 36 > 2 > 257-267
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) > 6B1-1 - 6B1-4
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) > 6A1-1 - 6A1-6
Toxicology > 2012 > 294 > 2-3 > 94-103
Transgenic Research > 2007 > 16 > 5 > 661-664