Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Information Systems Applications (incl. Internet). --- Operating Systems. --- Logics and Meanings of Programs. --- Software engineering --- Computer software --- Reliability. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Operating systems --- Application software. --- Computer science logic --- Logic, Symbolic and mathematical --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing