Blank Cover Image

A Formal Basis for the Specification of Concurrent Systems

著者名:
Lamport L.  
掲載資料名:
Distributed operating systems : theory and practice
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
28
発行年:
1987
開始ページ:
3
終了ページ:
46
総ページ数:
44
出版情報:
Berlin: Springer-Verlag
ISSN:
02581248
ISBN:
9783540176992 [3540176993]
言語:
英語
請求記号:
N11483/28
資料種別:
国際会議録

類似資料:

1 国際会議録 Specifying Concurrent Systems with TLA+

Lamport L.

IOS Press
7 国際会議録 Formal specification and verification of hardware designs

Ramesh,S., Rao.S.S.S.P., Sivakumar,G., Bhaduri,P.

SPIE-The International Society for Optical Engineering
2 国際会議録 An axiomatic semantics of concurrent programming languages

Lamport L.

Springer-Verlag
8 国際会議録 PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software

Devauchelle, L.

ESA Publications Division
3 国際会議録 Formal Specifications for Real-Time Fault-Tolerant systems

Fernandez. B. E

Springer-Verlag
9 国際会議録 The Emerging Basis for Multidisciplinary Concurrent Engineering

Vos R. G.

Springer-Verlag
4 国際会議録 Formal Approaches to Concurrency

Brauer Wilfried

Springer-Verlag
10 国際会議録 Formally Verifying Human-Automation Interaction with Specification Properties Generated from Task Analytic Models

M.L. Bolton, N. Jimenez, M.M. van Paassen, M. Trujillo

ESA Communications
5 国際会議録 Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

Felder Miguel, Ghezzi Carlo, Pezze Mauro

Springer-Verlag
11 国際会議録 Research on photoelectric autoinspecting system of formal and positional errors

Zhao,T., Wang,X., Song,L., Li,C.

SPIE-The International Society for Optical Engineering
6 国際会議録 Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment

Zeigler,B.P., Lee,J.S.

SPIE-The International Society for Optical Engineering
12 国際会議録 Exception Handling: Formal Specification and Systematic Program Construction

Gaudel M. C.

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12