Formal Methods and Event Notification Systems in Mobile Computing Environment.

Prashant Kumar R. K. Ghosh

Published in: CoRR (2019)

Keyphrases

formal methods
knowledge based systems
safety critical
artificial intelligence
management system
distributed systems
formal specification
intelligent agents