Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.

Yi Deng, Jiacun Wang, Rakesh Sinha

Browse the full ICFEM paper archive.