Conference
NASA Langley's research and technology-transfer program in formal methods
| Τίτλος: | NASA Langley's research and technology-transfer program in formal methods |
|---|---|
| Συγγραφείς: | Butler, R.W., Caldwell, J.L., Carreno, V.A., Holloway, C.M., Miner, P.S., Di Vito, B.L. |
| Πηγή: | COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :135-149 1995 |
| Relation: | COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!