Formal Modeling and Analysis of Medical Systems.

Mahsa Zarneshan Fatemeh Ghassemi Marjan Sirjani

Published in: COORDINATION (2020)

Keyphrases

image analysis
formal analysis
building blocks
artificial intelligence
information systems
databases
neural network
genetic algorithm
image segmentation
computational intelligence
intelligent systems
statistical analysis
quantitative analysis
bio medical