First Page | Document Content | |
---|---|---|
Date: 2016-11-22 04:49:37 | Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan () Tewodros A. Beyene (fortiss GmbH, TU München) Harald Ruess (fortiss GmbH, TU München)Add to Reading ListSource URL: www.mobilab.unina.itDownload Document from Source WebsiteFile Size: 241,33 KBShare Document on Facebook |