| Title: | Software Technology Reports |
| Notice: | Mail to RDVAX::MCC for STP reports |
| Moderator: | KOBAL::BRAFFITT |
| Created: | Tue Dec 10 1985 |
| Last Modified: | Fri Sep 23 1994 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 196 |
| Total number of notes: | 407 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 169.1 | Formal methods - DARPA proposal | AUSTIN::BRAFFITT | Thu May 18 1989 15:13 | 37 | |
| 169.2 | RDVAX::MCC ? | EMC2::CATTEL | Thierry Cattel | Wed Jun 07 1989 11:40 | 19 |
| 169.3 | RDVAX::MCC is correct - also try CRA::MCC | AUSTIN::BRAFFITT | Tue Jun 13 1989 17:46 | 5 | |
| 169.4 | Formal Methods (SPECTRA) videotape available | ADTSHR::BRAFFITT | Wed Sep 27 1989 09:15 | 12 | |
| 169.5 | 17-Nov-1989 in-depth review of Spectra at MCC/ACT | TOOLS::BRAFFITT | Wed Oct 04 1989 08:54 | 87 | |
| 169.6 | Visit from MCC FMTS | TLE::WILD | Joe Wild | Wed Apr 10 1991 16:42 | 11 |