Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software reliability modeling and identification. Vol 341 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1988
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S.

Place hold Add to cart
2.
Software reliability modeling and identification by Series: Lecture Notes in Computer Science:341
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1988
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S.

Place hold Add to cart
3.
Spin model checker by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston Addison Wesley 2003
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 HOL/S.

Place hold Add to cart
4.
Embedded software development for safety-critical systems Chris Hobbs by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton, CRC Press, 2016
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.18 HOB/E.

Place hold Add to cart
5.
No cover image available
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
Pages