Search Results for System safety.

Yazar

Artho, Cyrille. editor.

Format:

Electronic Resources

Alıntı:

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast

Yazar

Vitek, Jan. editor.

Format:

Electronic Resources

Alıntı:

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part

Yazar

Falcone, Yliès. editor.

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation.

Yazar

Geffert, Viliam. editor.

Format:

Electronic Resources

Alıntı:

Establishment of an Information Security Management System Compliant to ISO 27001 -- ProofBook: An Online Social

	{displayName}	{count}
{error}