Specifying Concurrent Systems with TLA+ | 東京工業大学附属図書館文献データベース

Blank Cover Image

Specifying Concurrent Systems with TLA+

著者名:: Lamport L.
掲載資料名:: Calculational system design
シリーズ名:: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:: 173
発行年:: 1999
開始ページ:: 183
終了ページ:: 247
総ページ数:: 65
出版情報:: Amsterdam: IOS Press
ISSN:: 13876694
ISBN:: 9789051994599 [9051994591]
言語:: 英語
請求記号:: N11483/173
資料種別:: 国際会議録

詳細

TDL書誌ID:	ZA00018740
シリーズID:	PA00000019
会議名:	NATO Advanced Study Institute on calculational system design
回次:	1998
会議開催地:	Marktoberdorf, Germany
会議開催年:	1998.07.28-1998.08.09

類似資料:

1 国際会議録 A Formal Basis for the Specification of Concurrent Systems Lamport L. Springer-Verlag	7 国際会議録 Systems Specifying Information Systems for Coping with Social Complexity Kochen Manfred Martinus Nijhoff Publishers
2 国際会議録 An axiomatic semantics of concurrent programming languages Lamport L. Springer-Verlag	8 国際会議録 Concurrent simulation for ordinal comparison Dai,L. SPIE-The International Society for Optical Engineering
3 テクニカルペーパー Specifying The Behavior Of Concurrent Systems Furtek, Frederick C. National Aeronautics and Space Administration	9 国際会議録 Preparation of Molecular Sieve Al-SBA-15 with Two Ratios Si/Al Catalyst for Use in the Transesterification Reaction of Soybean Oil J.C. Marinho, T.L.A. Barbosa, M.G.F. Rodrigues Trans Tech Publications
4 国際会議録 Specifying autonomy levels for unmanned systems: interim report Huang, H. -M., Albus, J. S., Messina, E. R., Wade, R. L., English, R. W. SPIE - The International Society of Optical Engineering	10 国際会議録 Specify-explore-refine paradigm for system design Vahid,F., Narayan,S., Gong,J., Gajski,D.D. SPIE-The International Society for Optical Engineering
5 国際会議録 Fuzzy clustering with a specified membership function for target detection with a radar system Ranney,K.I., Khatri,H., Nguyen,L.H. SPIE-The International Society for Optical Engineering	11 国際会議録 Method of specifying high quality optical systems Eisenberg, Shai SPIE
6 国際会議録 Extensin peroxidase ties the knots in the extensin network Lamport A. T. D. Springer-Verlag	12 国際会議録 Concurrent Design and Manufacturing for Mechanical Systems Kuang-Hua Chang, Javier Silva, Ira Bryant American Society of Mechanical Engineers

1

2

3

4

5

6

7

8

9

10

11

12