BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
M.R.Aliabadi J.Gascon-Samson K.Pattabiraman
Talks about:
artinali (1) system (1) physic (1) invari (1) detect (1) secur (1) dynam (1) cyber (1)

Person: Amita Ajith Kamath

DBLP DBLP: Kamath:Amita_Ajith

Contributed to:

ESEC/FSE 20172017

Wrote 1 papers:

ESEC-FSE-2017-AliabadiKGP #cyber-physical #detection #invariant #named #security
ARTINALI: dynamic invariant detection for cyber-physical system security (MRA, AAK, JGS, KP), pp. 349–361.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.