Login / Signup
Non-interference on UML State-Charts.
Martín Ochoa
Jan Jürjens
Jorge 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