HOME > 상세정보

상세정보

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

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

관련분야 신착자료

Nielsen, Michael A. (2022)
Dejonghe, Derek (2022)
Shrivastava, Saurabh (2022)
Qureshi, Hamid Mahmood (2022)
Trivedi, Vinay (2022)