Compositional verification of concurrent and real-time systems

>> Google Books

QRコード(所蔵情報)

Compositional verification of concurrent and real-time systems

フォーマット:

図書

責任表示:

by Eric Y.T. Juan, Jeffrey J.P. Tsai

言語:

英語

出版情報:

Boston : Kluwer Academic Publishers, c2002

形態:

xvii, 196 p. ; 25 cm

著者名:

シリーズ名:

The Kluwer international series in engineering and computer science ; SECS 676 <BA0004729X>

書誌ID:

BA56709253

ISBN:

9781402070259 [140207025X]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Computer systems--Verification; Parallel processing (Electronic computers); Real-time data processing
分類・件名:	LCC : QA76.58 .J83 DDC : 004/.35 LCSH : Parallel processing (Electronic computers) LCSH : Real-time data processing LCSH : Computer systems--Verification
LCCN:	2002023653
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Real-time systems design and analysis : an engineer's handbook Laplante, Phillip IEEE Press : IEEE Computer Society Press	7 図書 Clocks, DBMs and states in timed systems Bengtsson, Johan Uppsala Universitet
2 図書 A Practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems Klein, Mark M., Carnegie-Mellon University. Software Engineering Institute Kluwer Academic Publishers	8 電子ブック Specification and Compositional Verification of Real-Time Systems Hooman, Jozef Springer Berlin Heidelberg
3 図書 Real-time systems : design principles for distributed embedded applications Kopetz, Hermann Kluwer Academic	9 図書 Temporal verification of reactive systems : safety Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag
4 図書 Hard real-time computing systems : predictable scheduling algorithms and applications Buttazzo, Giorgio C., 1960- Kluwer Academic Publishers	10 図書 Processor arrays : architectures and applications Fountain, T. J. (Terry J.) Academic Press
5 図書 Real-time dynamics of manipulation robots Vukobratović, Miomir, 1931-, Kirćanski, N. (Nenad), 1953- Springer-Verlag	11 図書 Parallel processing in control : the transputer and other architectures Fleming, P. J. (Peter J.) Peregrinus
6 電子ブック Real-time digital signal processing : fundamentals, implementations and applications Kuo, Sen M. (Sen-Maw), Lee, Bob H., Tian, Wenshun John Wiley	12 図書 TREAT : a new and efficient match algorithm for AI production systems Miranker, Daniel P. Pitman, Morgan Kaufmann Publishers