語系
Bonakdarpour, Borzoo.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
Bonakdarpour, Borzoo.; Smolka, Scott A.; SpringerLink (Online service)
(書目-電子資源)
Stabilization, safety, and security of distributed systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings /
by:
SSS (Symposium) (2016 :); Bonakdarpour, Borzoo.; Petit, Franck.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Electronic data processing- Distributed processing
Computer security
Computer software- Verification
Computer Science.
Self-stabilization (Computer science)
Computer Communication Networks.
Systems and Data Security.