Login / Signup
A Formal Model of the Insect Olfactory Macroglomerulus: Simulations and Analytic Results.
Christiane Linster
David Marsan
Claudine Masson
Michel Kerszberg
Gérard Dreyfus
Léon Personnaz
Published in:
NIPS (1992)
Keyphrases
</>
formal model
formal models
security patterns
predicate calculus
numerical simulations
simulation models
security properties
software systems
simulation environment