Login / Signup
The overture initiative integrating tools for VDM.
Peter Gorm Larsen
Nick Battle
Miguel Alexandre Ferreira
John S. Fitzgerald
Kenneth Lausdahl
Marcel Verhoef
Published in:
ACM SIGSOFT Softw. Eng. Notes (2010)
Keyphrases
</>
software tools
neural network
information retrieval
video sequences
expert systems
information technology
semantic web
learning systems
statistical methods