Languages
Cuellar, Jorge.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Smart grid securitySecond International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014 : revised selected papers /
by:
(1998 :); Cuellar, Jorge.; SpringerLink (Online service)
(Electronic resources)
FM 2008: Formal Methods15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(1998 :); Cuellar, Jorge.; Maibaum, Tom.; Sere, Kaisa.; SpringerLink (Online service)
(Electronic resources)
Security and trust management6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers /
by:
(1998 :); Cuellar, Jorge.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Operating Systems.
System design
Programming Languages, Compilers, Interpreters.
Smart power grids
Computer security
Data Encryption.
Formal methods(Computer science)
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.