First Page | Document Content | |
---|---|---|
![]() Date: 2008-06-04 08:54:43Science Technology Rational Tau Telelogic Nokia Software development process Communications protocol Formal specification Model-based testing Formal methods Software development Unified Modeling Language | Source URL: www.fm2008.abo.fiDownload Document from Source WebsiteFile Size: 306,45 KBShare Document on Facebook |