First Page | Document Content | |
---|---|---|
![]() Date: 2007-11-07 10:26:15Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory | Add to Reading List |