Languages
Brucker, Achim D.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Secure and trustworthy service composition = the Aniketos approach /
by:
Brucker, Achim D.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
Brucker, Achim D.; Julliand, Jacques.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer networks- Security measures.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Web services.
Computer software- Testing
Business Information Systems.
Computer software- Verification
Computer Science.
Simulation and Modeling.
Systems and Data Security.
Computer Communication Networks.