共 50 条
- [21] Automatic generation of provably correct parallelizing compilers 1998 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - PROCEEDINGS, 1998, : 579 - 586
- [22] Towards provably correct system synthesis and extension FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, 1996, 12 (2-3): : 123 - 137
- [25] Provably correct runtime monitoring (extended abstract) FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 262 - +
- [26] Provably Correct Safety Protocol for Cooperative Platooning 2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, : 780 - 787
- [27] A geometric method for subpixel boundary PROCEEDINGS OF 2007 10TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, 2007, : 208 - 212
- [30] Provably correct hardware compilation using timing diagrams FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 313 - 331