Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security /

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.

Saved in:

Bibliographic Details
Online Access:	Full text (MCPHS users only)
Corporate Author:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania
Other Authors:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Amsterdam ; Washington, D.C. : IOS Press, 2006
Series:	NATO security through science series. Information and communication security ; vol. 1.
Subjects:	System theory > Mathematical models > Congresses. System theory > Security measures > Congresses. Computer security > Congresses. Computer software > Verification > Congresses.
Local Note:	ProQuest Ebook Central

Internet

Full text (MCPHS users only)