Asarin, Eugene.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer Security u ESORICS 200611th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings /
by:
(1998 :); Asarin, Eugene.; SpringerLink (Online service)
(Electronic resources)
Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
by:
(1998 :); Asarin, Eugene.; Bouyer, Patricia; SpringerLink (Online service)
(Electronic resources)
Subjects
Operating Systems.
Database Management.
Management of Computing and Information Systems.
Formal methods (Computer science)
Computer Science
Computer simulation
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Computer security
Data Encryption.
Computers
Computer Science.
Computer Communication Networks.
Computers and Society.
Temporal automata
Logics and Meanings of Programs
Software Engineering