Computer software - Case studies. - Reliability

Resilience assessment and evaluation of computing systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2014[electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2015[electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / …で: (言語・文字資料 (印刷物))

Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / …で: (コンピュータ・メディア)

Critical systems[electronic resource] :formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer safety, reliability, and security[electronic resource] :22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings / …で: (コンピュータ・メディア)

Dependable software systems engineering[electronic resource] / …で: (コンピュータ・メディア)

Software Engineering.

Computer software

Mathematical Applications in Computer Science.

Computers

Computer Science.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Quality Control, Reliability, Safety and Risk.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Computer Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Computer Science.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Simulation and Modeling.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Management of Computing and Information Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Formal methods (Computer science)

Computer programs

Computer Science.

Computer software

Electronic digital computers

Computer security

Industrial safety

Software engineering

Computer software