Languages
Ganty, Pierre.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
Ganty, Pierre.; Loreti, Michele.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Computer software- Validation
Information Systems Applications (incl. Internet)
Computer networks- Security measures
Computer security
Computer software- Verification
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.