共 50 条
- [25] Safety Invariant Verification that Meets Engineers' Expectations RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2022, 2022, 13294 : 20 - 31
- [28] Reaction chemistry meets lithography ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2007, 233