Result of using formal methods in modeling telecommunication business management.

Darko Markulin Marijan Kunstic

Published in: MIPRO (2012)

Keyphrases

formal methods
business management
formal analysis
artificial intelligence
modeling language
information technology
knowledge based systems
model checking
database systems
information systems
software engineering
expert systems
software development