DYVERSE with Y of dYnamical

Eva Navarro Lopez

DYVERSE with Y of dYnamical

Research output: Other contribution › peer-review

Original language	English
Type	Conference abstract and invited talk
Media of output	Abstract and presentation
Place of Publication	IV International Symposium of the Society of Spanish Researchers in the United Kingdom (SRUK/CERU). University College London, London, United Kingdom, 9–10 July, 2016.
Publication status	Published - 9 Jul 2016

Keywords

Hybrid systems
Formal methods of computer science
Formal verification
neuroscience
Control system
Dynamical systems
Complex networks

Cite this

@misc{a69101f1f8424a89835ef223109227ce,

title = "DYVERSE with Y of dYnamical",

keywords = "Hybrid systems, Formal methods of computer science, Formal verification, neuroscience, Control system, Dynamical systems, Complex networks",

author = "{Navarro Lopez}, Eva",

year = "2016",

month = jul,

day = "9",

language = "English",

type = "Other",

}

TY - GEN

T1 - DYVERSE with Y of dYnamical

AU - Navarro Lopez, Eva

PY - 2016/7/9

Y1 - 2016/7/9

KW - Hybrid systems

KW - Formal methods of computer science

KW - Formal verification

KW - neuroscience

KW - Control system

KW - Dynamical systems

KW - Complex networks

M3 - Other contribution

CY - IV International Symposium of the Society of Spanish Researchers in the United Kingdom (SRUK/CERU). University College London, London, United Kingdom, 9–10 July, 2016.

ER -