Analysing neurobiological models using communicating automata (Q736844)

From MaRDI portal





scientific article; zbMATH DE number 6609480
Language Label Description Also known as
default for all languages
No label defined
    English
    Analysing neurobiological models using communicating automata
    scientific article; zbMATH DE number 6609480

      Statements

      Analysing neurobiological models using communicating automata (English)
      0 references
      0 references
      0 references
      0 references
      5 August 2016
      0 references
      neuronal networks
      0 references
      communicating automata
      0 references
      model checking
      0 references
      backpropagation
      0 references
      generalized recirculation algorithm
      0 references
      plasticity-stability dilemma
      0 references
      visual attention
      0 references
      cognitive neuroscience
      0 references
      AI
      0 references
      SPIN
      0 references
      PROMELA
      0 references
      Uppaal
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references