What is the best book for safety critical computer systems?

Zakir Khan @Zakir_Khan3

10 October 2015 1 2K Report

Any one please share the Notes, Lectures, Videos Books related to safety critical computer systems.

Many Many Thanks in Advance....

Zakir Khan

Some links are listed below

http://www.amazon.com/Safety-Critical-Computer-Systems-Storey/dp/0201427877

https://www.cs.york.ac.uk/postgraduate/taught-courses/diploma-scse/

http://dl.acm.org/citation.cfm?id=524721

Badges
Science topic

Similar topics
Books

More Zakir Khan's questions See All

How to use caffe "deep learning framework " with matlab?

I want to use Caffee "deep learning framework" with matlab but don't know where I can get start....

10 November 2016 8,068 1 View

What are the good responding, ISI indexed Journals for Computer Science and Information Technology?

Share the journals list that are accepted by thomsonreuters.com Master journal list.

02 March 2016 4,603 3 View

What is memory Vectorization?

Why Vectorization is faster than normal memory management? what are the advantages of Vectorization? how Vectorization work? how processer work on Vector memory?

02 March 2016 9,923 2 View

If anybody have DCT,DWT steganography code of Matlab for image, Audio or Video, Please Share it.....

if anybody have DCT,DWT steganography code of Matlab for image, Audio or Video, Please Share it.....

02 March 2016 5,698 4 View

How to code for threaded job in matlab?

How to use openMP in matlab Environment. How to execute the job in threads?

02 March 2016 5,627 1 View

What are the free open source steganalysis tools?

Please share the software/ Code/ Link for steganalysis techniques.

01 February 2016 8,962 4 View

How may I Possibly Calculate the GPU Performance?

I want to calculate the GPU Performance? How May I compare the No of Cores CPU vs GPU?

09 October 2015 437 2 View

What is Double Recursion?

Please Explane the Double Recursion, and share the c/c++ or any other programming code for Double Recursion.

09 October 2015 1,179 1 View

Can anyone give a suggestion me the good Journal for MPI and RMA ?

I need a good responding ISI indexed journal.

09 October 2015 7,543 1 View

How to Compare two images either these are similar or different?

How may I check either two images are similar of different when both images have different in size, quality and compression ratio. It may be possiable one image exist into another image. If...

08 September 2015 7,111 2 View

Could you recommend some articles on Urban Transportation System optimization and Innovation?

13 August 2024 2,595 3 View

Do you know any references for analyzing stochastic fiber orientaion composites ?

Hello everyone I am looking for one or some books for propertes and behaviors of stochastic fibre orientation composites. unfotunately I could not find any suitable reference for thias by...

04 August 2024 3,461 3 View

A Question about Phd thesis?

Hello everyone What is your opinion about the introduction of an expert decision support system in which the rules are extracted from existing data without human intervention, instead of being...

31 July 2024 5,785 4 View

Difficulty with permittivitt and Magnetic Permeability Calculations?

Difficulty with permittivitt and Magnetic Permeability Calculations Hello everyone, I have all the parameters related to the calculations of the permittivitty and magnetic permeability...

30 July 2024 5,206 1 View

What should a Mechanical Engineering PhD scholar focus on during their PhD to enhance their chances of securing a postdoctoral position?

29 July 2024 7,714 4 View

Are you interested in contributing a book chapter on biomaterials in Orthopaedics?

I am editing a book for Springer Nature on recent advancements and future trends in biomaterials for orthopedic and trauma applications, with a publication date slated for early next year. If you...

29 July 2024 5,015 9 View

After a lot of feature engineering for CTR modeling, it feels like it's basically the end of iteration? I mean, it's not cost-effective to keep doing?

After a lot of feature engineering for click-through rate modeling, it feels like it's basically the end of iteration? I mean, it's not cost-effective to keep doing it?

29 July 2024 4,955 0 View

How to use Desmond in HPC ?

Our department has recently acquired an HPC (High-Performance Computing) system, and I'm thrilled to take my molecular dynamics calculations to the next level using Desmond. I used to run my...

28 July 2024 6,553 1 View

"Idrisi Selva" tutorial Books for pridiction with driving factors in modeling?

Some educational books with practical exercises of the "Idrisi Selva" software, which have step-by-step visual training for predicting the change of land use/land cover and including the use of...

28 July 2024 4,168 0 View

All math can be explained by iterator of code?

all math can be traversed by code? all math can be translate to code?

26 July 2024 9,530 0 View