Ausgabe 1-2/2007
Forschung, Innovation, Technologie in der Informationstechnik: FIT-IT
Inhalt (8 Artikel)
Originalarbeit
FIT-IT-Projekt DARTS: dezentrale fehlertolerante Taktgenerierung
U. Schmid, A. Steininger, M. Sust
Originalarbeit
Using formal methods for ensuring quality requirements of systems
G. Fraser, F. Wotawa
Originalarbeit
TSC – Triple Space Computing
D. Fensel, R. Krummenacher, O. Shafiq, E. Kühn, J. Riemer, Y. Ding, B. Draxler