Languages
Cuellar, Jorge.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Smart grid security = first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers /
by:
SpringerLink (Online service); Cuellar, Jorge.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
Cuellar, Jorge.; Maibaum, Tom.; International Symposium on Formal Methods (2008 :); SpringerLink (Online service); Sere, Kaisa.
(Language materials, printed)
Security and trust management = 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers /
by:
Cuellar, Jorge.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Systems and Data Security.
Operating Systems.
Data Encryption.
Computer Communication Networks.
Smart power grids
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
System design
Computer security
Formal methods(Computer science)
Computers and Society.
Programming Languages, Compilers, Interpreters.
Computer software