Chi tiết| Tên | Duration Calculus with Iteration and Software Graph in an Embedded Control Application |
| Lĩnh vực | Tin học |
| Tác giả | Nguyễn Văn Trường |
| Nhà xuất bản / Tạp chí | JVSE'06 Năm 2006 |
| Số hiệu ISSN/ISBN | |
| Tóm tắt nội dung | |
We present a syntactical approach given in a formal design technique for combining Duration Calculus with Iteration (DC*) and Software Graph (S-graph). The technique is used for designing real-time embedded systems. Integrating these two formal methods to work together may allow co-operating their strengths, while alleviating some of their weaknesses |
|
