Developing activity duration specification limits for effective project control.

Published in: Eur. J. Oper. Res. (2006)

Keyphrases

model checking
case study
database systems
control program
artificial intelligence
mobile robot
computationally efficient
specification language
temporal ordering