共 50 条
- [31] Process-Local Static Analysis of Synchronous Processes STATIC ANALYSIS (SAS 2018), 2018, 11002 : 284 - 305
- [32] Static Analysis of Communicating Processes Using Symbolic Transducers VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 73 - 90
- [33] Quantitative Sociodynamics: Stochastic Methods and Models of Social Interaction Processes JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2012, 15 (02):
- [36] Strategic planning of processes quantitative risk analysis CIENCIA E INGENIERIA, 2007, 28 (02): : 63 - 68
- [37] A QUANTITATIVE-ANALYSIS OF POLYMER MELTING PROCESSES VYSOKOMOLEKULYARNYE SOEDINENIYA SERIYA A, 1980, 22 (11): : 2609 - 2612
- [38] Models for the analysis of accuracy of technological processes 2007 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON THE EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS, 2007, : 303 - 304
- [39] A Methodology for Quantitative Evaluation of Software Reliability using Static Analysis ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2008 PROCEEDINGS, 2008, : 401 - 406
- [40] Quantitative analysis of static capacitance contrast in scanning electron microscopy JOURNAL OF ELECTRON MICROSCOPY, 2003, 52 (05): : 455 - 458