Login / Signup

Non-interference on UML State-Charts.

Martín OchoaJan JürjensJorge Cuéllar
Published in: TOOLS (50) (2012)
Keyphrases
  • software architecture
  • modeling language
  • data mining
  • artificial intelligence
  • search engine
  • knowledge base
  • image sequences
  • multi agent systems
  • object oriented
  • formal methods