Research output per year
Research output per year
Search results
-
2017
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.Research output: Working paper
-
2013
Ecosystem Interactions: Ecosystem service interactions among lowland mixed-use agricultural, river-wetland and urban systems
Ford-Thompson, A., Bell, S., Capelli, S., Naylor, B., Raffaelli, D., Ritson, C., Stokowska, C., Timmis, J., Topi, C. & White, P., 1 Sept 2013, York, UK, 176 p.Research output: Working paper
-
2010
The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex Systems
Andrews, P. S., Polack, F. A. C., Sampson, A. T., Stepney, S. & Timmis, J., 1 Mar 2010.Research output: Working paper