IBM DS Storage Manager 10 Version 1.0
1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems.
© 2003, 2004 - Dr. Ernest Cachia Formal Specification A Very First Acquaintance.
COMP25212 SYSTEM ARCHITECTURE Antoniu Pop [email protected] Jan/Feb 2015COMP25212 Lecture 1.
COMP25212 SYSTEM ARCHITECTURE Sergio Davies [email protected]
PTIDES Project Overview