Jump to main content

図書

SENS-specification language for embedded network systems-toward automatic test generation : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2)

Icons representing 図書

SENS-specification language for embedded network systems-toward automatic test generation : preliminary version

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2)

Call No. (NDL)
M159-B129
Bibliographic ID of National Diet Library
000011309783
Material type
図書
Author
Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]
Publisher
Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
Publication date
2011.8
Material Format
Paper
Capacity, size, etc.
23p ; 30cm
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title
SENS-specification language for embedded network systems-toward automatic test generation : preliminary version
Author/Editor
Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]
Series Title
Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2
Author/Editor (Series Title)
産業技術総合研究所 (組込みシステム技術連携研究体) 編
Publication, Distribution, etc.
Amagasaki : Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
Publication Date
2011.8
Publication Date (W3CDTF)
2011
Extent
23p
Size
30cm