Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
forschung:projekte [2012/03/21 13:10] kux |
forschung:projekte [2012/11/21 09:50] beckschulze [Projekte] |
||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
====== Projekte ====== | ====== Projekte ====== | ||
\\ | \\ | ||
- | * [[Applying Formal Methods for QoS Provisioning in Mobile Architectures]] | ||
* [[http://www-i11.informatik.rwth-aachen.de/mc_square/doku.php|[mc]square]] | * [[http://www-i11.informatik.rwth-aachen.de/mc_square/doku.php|[mc]square]] | ||
* Verifikation von SPS-Programmen | * Verifikation von SPS-Programmen |