Foundations of real-time computing : formal specifications and methods

edited by Andre M. van Tilborg, Gary M. Koob


  • 1 Towards Mechanization of Real-Time System Design.- 2 Derivation of Sequential, Real-Time, Process Control Programs.- 3 Mathematical Models of Real-Time Scheduling.- 4 Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation.- 5 Theory of Real-Time Systems - Project Survey.- 6 HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems.- 7 Concepts and Models for Real-Time Concurrency.- 8 Automated Analysis of Concurrent and Real-Time Software.- 9 Towards a Timing Semantics for Programming Languages.- 10 FLEX: A Language for Programming Flexible Real-Time Systems.- 11 Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier.

「Nielsen BookData」より


書名 Foundations of real-time computing : formal specifications and methods
著作者等 Koob, Gary M.
United States. Office of Naval Research
Van Tilborg, André M.
Van Tilborg Andre M.
シリーズ名 The Kluwer international series in engineering and computer science
出版元 Kluwer Academic
刊行年月 c1991
ページ数 ix, 316 p.
大きさ 25 cm
ISBN 0792391675
NCID BA1291179X
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国