A formal specification approach for holonic control systems: The ADACOR case Artigo Académico uri icon

autores

  • Leitao, P.
  • Leitão, P.
  • Colombo, A.W.
  • Restivo, F.
  • Armando Walter Colombo
  • Restivo, F

data de publicação

  • janeiro 1, 2006