Normal view MARC view ISBD view

Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover

By:

Material type: Text

TextLanguage: English Publication details: Kochi 22 Department of Computer Science,CUSAT 2010Description: 95pDDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Department of Computer Science	4889 (Browse shelf(Opens below))	Available		MCS04889

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	4885 Text Summarization Using Word Net	4886 Statistical Machine Translation from English to Malayalam	4887 Data Collection in Wireless Sensor Networks using Mobile Sinks	4889 Formal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover	4890 Intrusion Detection System in Wireless Network	4891 Modeling and Analysis of Clustered Mobility Model for Wireless Ad Hoc Network	4892 Secure Localization in Wireless Sensor Networks	Next

There are no comments on this title.

to post a comment.