Discover open access scientific publications

Search, annotate, share and cite publications

Publications by J.S. Dong

Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach

IEE Proceedings - Software

English