Verifying Time Properties by Transforming Timing Diagram to Object-Oriented Time Petri Net
碩士 === 東海大學 === 資訊工程與科學系 === 93 === In system software development, time is a very important factor to the quality of the systems. Especailly there are more and more real time systems and embedded systems around people. Therefore, in UML 2.0 standard, OMG developed a new diagram called timing diagra...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2005
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/85513332010482606839 |