Languages
Bonakdarpour, Borzoo.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(1998 :); Bonakdarpour, Borzoo.; Smolka, Scott A.; SpringerLink (Online service)
(Language materials, printed)
Stabilization, safety, and security of distributed systems18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings /
by:
(1998 :); Bonakdarpour, Borzoo.; Petit, Franck.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing
Computer software
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 security
Computer Science.
Self-stabilization (Computer science)
Computer Communication Networks.
Systems and Data Security.