Cover Image

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
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.
Subjects:	System theory > Mathematical models > Congresses. System theory > Security measures > Congresses. Computer security > Congresses. Computer software > Verification > Congresses.
Online Access:	Full text (MFA users only)
ISBN:	1423797426 9781423797425 1601291272 9781601291271 9781607501473 1607501473
Local Note:	ProQuest Ebook Central

Place a Title Level Request

Internet

Full text (MFA users only)