| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135 |
| 4 | | Chunqing Chen, Jin Song Dong, Jun Sun: A formal framework for modeling and validating Simulink diagrams. Formal Asp. Comput. 21(5): 451-483 (2009) |
| 3 | | Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280 |
| 2 | | Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115 |
| 1 | | Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93 |
Selection of 5 from 5 records - Chunqing Chen has 3 coauthors
Copyright © 2010-01-03 by Michael Ley (ley@uni-trier.de)