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影响因子(影响力)学科排名




书目名称Interactive Systems. Design Specification, and Verification网络公开度




书目名称Interactive Systems. Design Specification, and Verification网络公开度学科排名




书目名称Interactive Systems. Design Specification, and Verification被引频次




书目名称Interactive Systems. Design Specification, and Verification被引频次学科排名




书目名称Interactive Systems. Design Specification, and Verification年度引用




书目名称Interactive Systems. Design Specification, and Verification年度引用学科排名




书目名称Interactive Systems. Design Specification, and Verification读者反馈




书目名称Interactive Systems. Design Specification, and Verification读者反馈学科排名

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

统治人类

向下