Login / Signup

Formal Specification Method for Systems Automation.

Jean-François PétinGérard MorelHervé Panetto
Published in: Eur. J. Control (2006)
Keyphrases
  • formal specification
  • knowledge based systems
  • user interface
  • distributed systems