Concepedia

Brice Mitchell

BM

Statistics

Publications

3

Citations

38

H-Index

3

Active since

2002

Affiliations

Defence Science and Technology Group(Current)

University of South Australia

Aarhus University

Brice Mitchell is an author at Defence Science and Technology Group specializing in process control, operations research, and software design.

Top concepts

EngineeringProcess ControlSoftware DesignOperations ResearchSystems EngineeringDesignAutomationVerificationFormal MethodsComputer Science

Publications per year

2002–2007

3

Publications

3

Model-based development of a course of action scheduling tool

Lars Michael Kristensen, Peter Mechlenborg, Brice Mitchell et al. · International Journal on Software Tools for Technology Transfer · 2007 · 17 citations

Engineering, Project Scheduling, Scheduling Analysis +8

Modelling and initial analysis of operational planning processes using coloured petri nets

Lars Michael Kristensen, Brice Mitchell, Lin Zhang et al. · 2002 · 11 citations

Petri Net, Engineering, Industrial Engineering +17

Formal specification and state space analysis of an operational planning process

Brice Mitchell, Lars Michael Kristensen · International Journal on Software Tools for Technology Transfer · 2007 · 10 citations

State Space Analysis, Formal Specification, Engineering +15

1–3 of 3