中島, 震, 1955-
中島, 震
VIAF ID: 254220929 (Personal)
Permalink: http://viaf.org/viaf/254220929
Preferred Forms
- 100 1 _ ‡a 中島, 震
- 100 1 _ ‡a 中島, 震, ‡d 1955-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論 | |
Dejitaru puratto fomu kaitai shinsho : Seizogyo no inobeshon ni mukete. | |
Event-B : リファインメント・モデリングに基づく形式手法 | |
Iventobi : Rifainmento moderingu ni motozuku keishiki shuho. | |
Keishiki shuho nyumon : Rojikku ni yoru sofutoea sekkei. | |
Obujiekuto shikō saizensen : Jōhō shori gakkai OO2002 shinpojiumu. | |
Principles of the Spin model checker. | |
Software development with B | |
Sofutōea kōgaku no kiso. | |
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN | |
SPINモデル検查入門 | |
supin moderu kensa nyūmon | |
オブジェクト指向最前線. | |
ソフト・エッジ : ソフトウェア開発の科学を求めて | |
ソフトウェア工学の基礎. | |
デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて | |
代数仕様アプローチによる制的モデル検査手法の研究 | |
形式手法入門 : ロジックによるソフトウェア設計 |