Formal model for NetConf query
Ma Yan · Dalian Ligong Daxue xuebao · 2005
The authors used formal semantics as a means to specify query requirement's analyses and establish a conceptual basis for query procedure derivation.This approach is demonstrated with respect to the two general purpose queries(get) of NetConf.