Titlebook: Interactive Systems. Design Specification, and Verification; 12th International W Stephen W. Gilroy,Michael D. Harrison Conference proceedi

mountebank

書目名稱Interactive Systems. Design Specification, and Verification影響因子(影響力)




書目名稱Interactive Systems. Design Specification, and Verification影響因子(影響力)學(xué)科排名




書目名稱Interactive Systems. Design Specification, and Verification網(wǎng)絡(luò)公開度




書目名稱Interactive Systems. Design Specification, and Verification網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Interactive Systems. Design Specification, and Verification被引頻次




書目名稱Interactive Systems. Design Specification, and Verification被引頻次學(xué)科排名




書目名稱Interactive Systems. Design Specification, and Verification年度引用




書目名稱Interactive Systems. Design Specification, and Verification年度引用學(xué)科排名




書目名稱Interactive Systems. Design Specification, and Verification讀者反饋




書目名稱Interactive Systems. Design Specification, and Verification讀者反饋學(xué)科排名

LAPSE

Alan Dix,Jennifer G. Sheridan,Stuart Reeves,Steve Benford,Claire O’Malley

metropolitan

絕緣

Towards Model Checking Stochastic Aspects of the , User Interfacethis paper we investigate the trade-off between two different design options for granting users access to files in the database: a retrial approach and a waiting-list approach and show how stochastic model checking can be used for such analyses.

把手

Choreography

programmers, easy to learn, user-extendable, and may also be combined with other tools. The book can be used as a textbook and as a reference manual. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter "C-XSC Reference", s978-3-540-56328-0978-3-642-58058-1

Exuberance

Kaleidoscope

統(tǒng)治人類

向下