Related Books
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 1990-01-10 - Publisher: Springer Science & Business Media
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta
Language: en
Pages: 396
Pages: 396
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 544
Pages: 544
Type: BOOK - Published: 2013-06-05 - Publisher: Springer
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1,
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2000 - Publisher: Springer Science & Business Media
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2003-05-15 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001