人工知能学会誌（1986～2013, Print ISSN:0912-8085）
Mandrioli, D.: Generating Test Cases for Real-Time Systems from Logic Specification, ACM Trans. on Computer Systems, Vol.13, No.4, pp.365-398 (1995).
1996 年 11 巻 4 号 p. 668
詳細
記事の1ページ目
