数量ix, 303 p. : ill. ; 24 cm.
並列タイトル等Formal modeling and analysis of timed systems : 3rd international conference, FORMATS 2005 : Uppsala, Sweden, September 26-28, 2005 : proceedings
一般注記Abstracts and papers.
Held in conjunction with ARTIST2 summer school, September 29-October 2, 2005, on component modelling, testing and verification, and static analysis of embedded systems.
"FORMATS is an annual workshop series initiated in 2003." -- pref.
書誌注記Includes bibliographical references and author index.