고려대학교 도서관

이전 결과로 돌아가기 검색화면

MARC

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 Ö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 Ö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 Ö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

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 Ölveczky (eds.)

소장정보

청구기호 브라우징

관련분야 인기자료

관련분야 신착자료