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.
Formal methods(Computer science)
Computers and Society.
Operating Systems.
Data Encryption.
Computer Communication Networks.
Smart power grids
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Management of Computing and Information Systems.
System design
Computer security