단행본 상세

URL복사하기
서지주요정보
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings [electronic resource]
서명 / 저자 Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings / edited by Jean-Francois Raskin, P.S. Thiagarajan.
저자명 Raskin, Jean-Francois. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Thiagarajan, P.S. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online Access https://doi.org/10.1007/978-3-540-75454-1 URL

서지기타정보

서지기타정보
청구기호 QA76.9.L63
판사항 1st ed. 2007.
형태사항 X, 372 p. online resource.
총서명 Theoretical Computer Science and General Issues ; 4763
언어 English
내용 Abstraction of Probabilistic Systems -- From Analysis to Design -- Efficient On-the-Fly Algorithms for Partially Observable Timed Games -- Undecidability of Universality for Timed Automata with Minimal Resources -- On Timed Models of Gene Networks -- Costs Are Expensive! -- Hypervolume Approximation in Timed Automata Model Checking -- Counter-Free Input-Determined Timed Automata -- Towards Budgeting in Real-Time Calculus: Deferrable Servers -- Automatic Abstraction Refinement for Timed Automata -- Dynamical Properties of Timed Automata Revisited -- Robust Sampling for MITL Specifications -- On the Expressiveness of MTL Variants over Dense Time -- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable -- Efficient Detection of Zeno Runs in Timed Automata -- Partial Order Reduction for Verification of Real-Time Components -- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga -- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata -- Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters -- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times -- Designing Consistent Multimedia Documents: The RT-LOTOS Methodology -- AMT: A Property-Based Monitoring Tool for Analog Systems -- Region Stability Proofs for Hybrid Systems -- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains -- Symbolic Simulation-Checking of Dense-Time Automata.
주제 Computer logic.
Software engineering.
Programming languages (Electronic computers).
Special purpose computers.
Logics and Meanings of Programs. --https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
Software Engineering. --https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Programming Languages, Compilers, Interpreters. --https://scigraph.springernature.com/ontologies/product-market-codes/I14037
Special Purpose and Application-Based Systems. --https://scigraph.springernature.com/ontologies/product-market-codes/I13030
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783540844648 Printed edition: 9783540754534
ISBN 9783540754541
기타 표준번호 10.1007/978-3-540-75454-1
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기