Occam in the specification and verification of microprocessors
Հիմնական հեղինակ: | Roscoe, A |
---|---|
Ձևաչափ: | Journal article |
Հրապարակվել է: |
1992
|
Նմանատիպ նյութեր
-
Denotational semantics for occam
: Roscoe, A
Հրապարակվել է: (1985) -
Laws of Occam Programming
: Roscoe, A, և այլն
Հրապարակվել է: (1986) -
Transformation of occam programs
: Goldsmith, M, և այլն
Հրապարակվել է: (1988) -
The Laws of Occam Programming
: Roscoe, A, և այլն
Հրապարակվել է: (1988) -
The laws of occam programming
: Roscoe, A, և այլն
Հրապարակվել է: (1988)