Brice Mitchell

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Brice Mitchell, Lars Michael Kristensen, Lin Zhang
Formal specification and state space analysis of an operational planning process. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)