A specification of the maxwell-rayleigh-heisenberg approach to modelling fluids for bioelectronic applications.

Eugene V. Mamontov

Published in: Math. Comput. Model. (2005)

Keyphrases

modelling language
high level
formal specification
databases
specification language
provably correct
log normal
web services
decision trees
multiscale
learning environment
sar images
formal verification