FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM Article

Ding, Junhua, He, Xudong. (2010). FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM . INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 20(3), 311-345. 10.1142/S021819401000475X

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • Formal specification
  • MODEL
  • PETRI NETS
  • SOFTWARE
  • Science & Technology
  • Technology
  • mobile agents
  • model checking
  • predicate/transition nets

Digital Object Identifier (DOI)

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 311

end page

  • 345

volume

  • 20

issue

  • 3