語系
Cuellar, Jorge.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
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