Search Results for State, The.

57.

Jajodia, Sushil. editor.

Format:

Elektronik Kaynak

Alıntı:

-- Cryptographic Protocol Explication and End-Point Projection -- State Space Reduction in the Maude-NRL Protocol

58.

Azevedo, Américo. editor.

Format:

Elektronik Kaynak

Alıntı:

International Federation for Information Processing The IFIP series publishes state-of-the

59.

Derrick, John. editor.

Format:

Elektronik Kaynak

Alıntı:

state of the art in theory, application, tools, and industrialization of formal methods. Over the years

60.

Fischer-Hübner, Simone. editor.

Format:

Elektronik Kaynak

Alıntı:

bringing together academic researchers and industry developers to discuss the state of the art in

	{displayName}	{count}
{error}