文献
J-GLOBAL ID:200902071111420498
整理番号:88A0600264
STATEMATE 複合リアクティブシステム開発のための作業環境
STATEMATE: A working environment for the development of complex reactive systems.
著者 (7件):
HAREL D
(Weizmann Inst. Science, Rehovot, ISR)
,
LACHOVER H
,
NAAMAD A
,
PNUELI A
(Weizmann Inst. Science, Rehovot, ISR)
,
POLITL M
,
SHERMAN R
,
SHTUL-TRAURING A
資料名:
Proceedings of the International Conference on Software Engineering
(Proceedings of the International Conference on Software Engineering)
巻:
10th
ページ:
396-406
発行年:
1988年
JST資料番号:
D0491B
資料種別:
会議録 (C)
記事区分:
文献レビュー
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)