Languages
Nielson, Flemming.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Principles of security and trust8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
(1998 :); Nielson, Flemming.; Sands, David.; SpringerLink (Online service)
(Electronic resources)
Formal methodsan appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(Electronic resources)
Trustworthy global computing4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(1998 :); Kaklamanis, Christos.; Nielson, Flemming.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Data encryption (Computer science)
Formal methods (Computer science)
Software engineering.
Computer security
Artificial Intelligence.
Computer networks
Computer Science.
Computer Communication Networks.
Systems and Data Security.
System Performance and Evaluation.
Software protection
Information theory.