SCI COMPUT PROGRAM
| 中国学者近期发表的论文 | |
|---|---|
| 1. | An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Author: bjwujian Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 2. | Model-based mutation testing Author: christof.budnik Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 3. | Model-based mutation testing Author: a.hollmann Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 4. | An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Author: bjwujian Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 5. | Model-based mutation testing Author: christof.budnik Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 6. | Model-based mutation testing Author: a.hollmann Journal: SCIENCE OF COMPUTER PROGRAMMING |
| 7. | Facilitating professionals' work-based learning with context-aware mobile system Author: Bertrand David Journal: Science of Computer Programming |
| 8. | Formal design of dynamic reconfiguration protocol for cloud applications Author: Rim Abid Journal: Science of Computer Programming |
| 9. | Formal design of dynamic reconfiguration protocol for cloud applications Author: Gwen Sala Journal: Science of Computer Programming |
| 10. | Formal design of dynamic reconfiguration protocol for cloud applications Author: Noel De Palma Journal: Science of Computer Programming |