Formal Methods in Standards
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9783540195771, 9781447134190

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Current Practice: Issues and Guidelines

Formal Methods in Standards ◽

10.1007/978-1-4471-3419-0_5 ◽

1990 ◽

pp. 69-78

Author(s):

C. L. N. Ruggles

Keyword(s):

Current Practice

Download Full-text

Formal Methods in Standards: Four Case Studies

Formal Methods in Standards ◽

10.1007/978-1-4471-3419-0_4 ◽

1990 ◽

pp. 31-68

Author(s):

C. L. N. Ruggles

Keyword(s):

Formal Methods ◽

Case Studies

Download Full-text

Formal Methods: the Background

Formal Methods in Standards ◽

10.1007/978-1-4471-3419-0_3 ◽

1990 ◽

pp. 17-30

Author(s):

C. L. N. Ruggles

Keyword(s):

Formal Methods

Download Full-text

Standards: the Background

Formal Methods in Standards ◽

10.1007/978-1-4471-3419-0_2 ◽

1990 ◽

pp. 5-16

Author(s):

C. L. N. Ruggles

Download Full-text

The Formal Methods in Standards Working Group

Formal Methods in Standards ◽

10.1007/978-1-4471-3419-0_1 ◽

1990 ◽

pp. 1-3

Author(s):

C. L. N. Ruggles

Keyword(s):

Formal Methods ◽

Working Group

Download Full-text