The Verification of Temporal Knowledge Based Systems – A case-study on power-systems Artigo de Conferência uri icon

data de publicação

  • janeiro 1, 2007