FSP and FLTL framework for specification and verification of middle-agents.

Published in: Int. J. Appl. Math. Comput. Sci. (2011)

Keyphrases