مؤتمر
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
| العنوان: | System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications |
|---|---|
| المؤلفون: | Guthmuller, Marion, Quinson, Martin, Corona, Gabriel |
| المصدر: | 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. :451-458 Mar, 2015 |
| Relation: | 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479984916 |
|---|---|
| تدمد: | 10666192 23775750 |
| DOI: | 10.1109/PDP.2015.95 |