Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2010/10/07 15:33] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2011/10/17 16:55] barakat |
||
|---|---|---|---|
| Zeile 491: | Zeile 491: | ||
| * It allows quantitatively comparing formal models and making early choices about modifications and improvements. | * It allows quantitatively comparing formal models and making early choices about modifications and improvements. | ||
| * It shortens the software development cycle by limiting the need to go back to the model and make modifications for issues discovered after implementation. | * It shortens the software development cycle by limiting the need to go back to the model and make modifications for issues discovered after implementation. | ||
| + | |||
| + | Our simulator tool SimPiCal can be found [[http://web.embedded.rwth-aachen.de/pical/|here]]. | ||
| </style> | </style> | ||