소장자료
LDR | 01979cam a22003378a 4500 | ||
001 | 0091894621▲ | ||
003 | DLC▲ | ||
005 | 20180520042418▲ | ||
008 | 090709s2009 njua b 001 0 eng ▲ | ||
010 | ▼a2009026282▲ | ||
020 | ▼a9781848211438▲ | ||
040 | ▼aDLC▼cDLC▼dDLC▲ | ||
041 | 1 | ▼aeng▼hfre▲ | |
050 | 0 | 0 | ▼aTK7895.E42▼bA387 2009▲ |
082 | 0 | 0 | ▼a621.39/2▼221▲ |
090 | ▼a621.392▼bA652j영▲ | ||
130 | 0 | ▼aApproches formelles des systèmes embarqués communicants.▼lEnglish▲ | |
245 | 1 | 0 | ▼aCommunicating embedded systems :▼bsoftware and design : formal methods /▼cedited by Claude Jard, Olivier H. Roux.▲ |
260 | ▼aHoboken, NJ :▼bISTE Ltd/John Wiley and Sons,▼c2009.▲ | ||
263 | ▼a0908▲ | ||
300 | ▼axii, 261 p. :▼bill. ;▼c25 cm.▲ | ||
504 | ▼aIncludes bibliographical references and index.▲ | ||
505 | 0 | ▼aPreface / Claude Jard and Olivier H. Roux --Ch. 1. Models of real-time embedded systems / Didier Lime, Olivier H. Roux and Jiri Srba --Ch. 2. Timed model-checking / Beatrice Berard --Ch. 3. Control of Timed Systems / Franck Cassez and Nicolas Markey --Ch. 4. Fault diagnisis of timed systems / Franck Cassez and Stavros Tripakis --Ch. 5. Quantitative Verification of Markov chains / Susanna Donatelli and Serge Haddad --Ch. 6. Tools for model-chacking timed systems / Alexandre David, Gerd Behrmann and Pater Bulychev --Ch. 7. Tools for the analysis of hybrid models / Thao Dang, Goran Frehse and Antione Girard.▲ | |
520 | ▼aFormal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.▲ | ||
650 | 0 | ▼aEmbedded computer systems▼xProgramming.▲ | |
650 | 0 | ▼aEmbedded computer systems▼xDesign and construction.▲ | |
650 | 0 | ▼aComputer software▼xDevelopment.▲ | |
650 | 0 | ▼aFormal methods (Computer science)▲ | |
700 | 1 | ▼aJard, Claude.▲ | |
700 | 1 | ▼aRoux, Olivier H.▲ | |
999 | ▼c정영주▲ |
Communicating embedded systems :software and design : formal methods
자료유형
국외단행본
서명/책임사항
Communicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.
통일표제
Approches formelles des systèmes embarqués communicants. English
발행사항
Hoboken, NJ : ISTE Ltd/John Wiley and Sons , 2009.
형태사항
xii, 261 p. : ill. ; 25 cm.
서지주기
Includes bibliographical references and index.
내용주기
Preface / Claude Jard and Olivier H. Roux --Ch. 1. Models of real-time embedded systems / Didier Lime, Olivier H. Roux and Jiri Srba --Ch. 2. Timed model-checking / Beatrice Berard --Ch. 3. Control of Timed Systems / Franck Cassez and Nicolas Markey --Ch. 4. Fault diagnisis of timed systems / Franck Cassez and Stavros Tripakis --Ch. 5. Quantitative Verification of Markov chains / Susanna Donatelli and Serge Haddad --Ch. 6. Tools for model-chacking timed systems / Alexandre David, Gerd Behrmann and Pater Bulychev --Ch. 7. Tools for the analysis of hybrid models / Thao Dang, Goran Frehse and Antione Girard.
요약주기
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
주제
ISBN
9781848211438
청구기호
621.392 A652j영
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서