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)