1031 search results - page 49 / 207 » Modeling and Formal Verification of Production Automation Sy... |
WSC
2004
13 years 9 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
WETICE
2006
IEEE
14 years 1 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
IFIP
1989
Springer
13 years 11 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...