HOME > 상세정보

상세정보

Formal techniques for safety-critical systems [electronic resource] : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.)

Formal techniques for safety-critical systems [electronic resource] : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.)

자료유형
E-Book(소장)
개인저자
Artho, Cyrille. Ölveczky, Peter Csaba.
단체저자명
FTSCS (Workshop) (2nd : 2013 : Queenstown, N.Z.)
서명 / 저자사항
Formal techniques for safety-critical systems [electronic resource] : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
발행사항
Cham :   Springer International Publishing :   Imprint: Springer,   2014.  
형태사항
1 online resource (x, 297 p.) : ill.
총서사항
Communications in Computer and Information Science,1865-0929 ; 419
ISBN
9783319054162
요약
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
일반주기
Title from e-Book title page.  
서지주기
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
일반주제명
Formal methods (Computer science) --Congresses. Computer system failures --Prevention --Congresses. Computer systems --Reliability --Congresses.
바로가기
URL
000 00000nam u2200205 a 4500
001 000046047441
005 20200928101824
006 m d
007 cr
008 200916s2014 sz a ob 101 0 eng d
020 ▼a 9783319054162
040 ▼a 211009 ▼c 211009 ▼d 211009
082 0 4 ▼a 004.0151 ▼2 23
084 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151
110 2 ▼a FTSCS (Workshop) ▼n (2nd : ▼d 2013 : ▼c Queenstown, N.Z.)
245 1 0 ▼a Formal techniques for safety-critical systems ▼h [electronic resource] : ▼b second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
260 ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2014.
300 ▼a 1 online resource (x, 297 p.) : ▼b ill.
490 1 ▼a Communications in Computer and Information Science, ▼x 1865-0929 ; ▼v 419
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references and index.
520 ▼a This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Formal methods (Computer science) ▼v Congresses.
650 0 ▼a Computer system failures ▼x Prevention ▼v Congresses.
650 0 ▼a Computer systems ▼x Reliability ▼v Congresses.
700 1 ▼a Artho, Cyrille.
700 1 ▼a Ölveczky, Peter Csaba.
830 0 ▼a Communications in Computer and Information Science ; ▼v 419.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-05416-2
945 ▼a KLPA
991 ▼a E-Book(소장)

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/e-Book 컬렉션/ 청구기호 CR 004.0151 등록번호 E14033500 도서상태 대출불가(열람가능) 반납예정일 예약 서비스 M

관련분야 신착자료

김효곤 (2022)