고려대학교 도서관

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

MARC

Formal techniques for safety-critical systems [electronic resource] : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

자료유형

E-Book(소장)

개인저자

Artho, Cyrille. Ölveczky, Peter Csaba.

서명 / 저자사항

Formal techniques for safety-critical systems [electronic resource] : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky, editors.

발행사항

Cham : Springer, c2017.

형태사항

1 online resource (xii, 161 p.) : ill.

총서사항

Communications in Computer and Information Science,1865-0929, 1865-0937 (electronic) ; 694

ISBN

9783319539454 9783319539461 (e-book)

요약

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

일반주기

Title from e-Book title page.

내용주기

Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification.

서지주기

Includes bibliographical references and index.

이용가능한 다른형태자료

Issued also as a book.

일반주제명

Formal methods (Computer science) --Congresses. System safety --Congresses. Systems engineering --Congresses.

바로가기

URL

000		00000cam u2200205 a 4500
001		000046011577
005		20200722153505
006		m d
007		cr
008		200107s2017 sz a ob 101 0 eng d
020		▼a 9783319539454
020		▼a 9783319539461 (e-book)
040		▼a 211009 ▼c 211009 ▼d 211009
050	4	▼a QA76.9.L63
082	0 4	▼a 004.0151 ▼2 23
084		▼a 004.0151 ▼2 DDCK
090		▼a 004.0151
111	2	▼a FTSCS (Workshop) ▼n (5th : ▼d 2016 : ▼c Tokyo, Japan).
245	1 0	▼a Formal techniques for safety-critical systems ▼h [electronic resource] : ▼b 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers / ▼c Cyrille Artho, Peter Csaba Ölveczky, editors.
246	3 0	▼a FTSCS
260		▼a Cham : ▼b Springer, ▼c c2017.
300		▼a 1 online resource (xii, 161 p.) : ▼b ill.
490	1	▼a Communications in Computer and Information Science, ▼x 1865-0929, ▼x 1865-0937 (electronic) ; ▼v 694
500		▼a Title from e-Book title page.
504		▼a Includes bibliographical references and index.
505	0	▼a Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification.
520		▼a This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
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 System safety ▼v Congresses.
650	0	▼a Systems engineering ▼v Congresses.
700	1	▼a Artho, Cyrille.
700	1	▼a Ölveczky, Peter Csaba.
830	0	▼a Communications in Computer and Information Science ; ▼v 694.
856	4 0	▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-319-53946-1
945		▼a KLPA
991		▼a E-Book(소장)

소장정보

중앙도서관

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

Formal techniques for safety-critical systems [electronic resource] : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

소장정보

청구기호 브라우징

관련분야 인기자료

관련분야 신착자료