OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Component-based models are widely used for embedded systems. The models consist of components with input and output ports linked to each other. However, mismatched links or assumptions among components may cause many failures, especially for large scale models. Binding semantic knowledge into models...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Wiley
2013-01-01
|
| Σειρά: | Journal of Applied Mathematics |
| Διαθέσιμο Online: | http://dx.doi.org/10.1155/2013/934349 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|