共 50 条
- [21] Implicit model Checking: Formal verification technique for large-scale discrete systems PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 135 - 140
- [22] Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 594 - 597
- [25] Inequalities for the false discovery rate (FDR) under dependence ELECTRONIC JOURNAL OF STATISTICS, 2015, 9 (01): : 679 - 716
- [27] Large-Scale Unsupervised Object Discovery ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
- [30] Consistency checking in an infrastructure for large-scale generative programming 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 238 - 247