Blank Cover Image

Functional Specification of Time Sensitive Communicating Systems

著者名:
Broy M.  
掲載資料名:
Programming and mathematical method
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
88
発行年:
1992
開始ページ:
325
終了ページ:
367
総ページ数:
43
出版情報:
Berlin: Springer-Verlag
ISSN:
02581248
ISBN:
9783540555582 [3540555587]
言語:
英語
請求記号:
N11483/88
資料種別:
国際会議録

類似資料:

1 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems

Broy M.

Springer-Verlag
7 国際会議録 A Logical Basis for Modular Systems Engineering

Broy M.

IOS Press
2 国際会議録 Specification and Refinement of a Buffer of Length One

Broy M.

Springer
8 国際会議録 Towards a Design Methodology for Distributed Systems

Broy M.

Springer-Verlag
3 国際会議録 Equational Specification of Partial Higher Order Algebras

Broy M.

Springer-Verlag
9 国際会議録 From States to Histories: Relating State and History Views onto Systems

Broy,M.

IOS Press
4 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures

Broy, Manfred

Springer
10 国際会議録 Timed Rewriting Logic for the Specification of Time-Sensitive Systems

Kosiuczenko Piotr, Wirsing Martin

Springer
5 国際会議録 AN ANALYSIS OF SEMANTIC MODELS FOR ALGEBRAIC SPECIFICATIONS

Wirsing M., Broy M.

D. Reidel
11 国際会議録 Anintroduction to a Calculus of Communicating Systems

Hennessy B. C. M.

D. Reidel Publishing Company
6 国際会議録 Mathematical Methods in System and Software Engineering

Broy M.

Springer
12 国際会議録 Unifying Models and Engineering Theories of Composed Software Systems

Broy, Manfred

IOS Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12