Showing results 1 to 2 of 2
Context-aware multi-agent approach to pervasive negotiation support systems Kwon O.; Shin J.M.; Kim S.W., EXPERT SYSTEMS WITH APPLICATIONS, v.31, no.2, pp.275 - 285, 2006 |
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method Kim, Jihun; Park, Moon-Ghu, INTERNATIONAL JOURNAL OF ENERGY RESEARCH, v.44, no.10, pp.8170 - 8180, 2020-08 |
Discover