FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540609735, 9783540497493

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Experiences in embedded scheduling

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_101 ◽

1996 ◽

pp. 445-464 ◽

Cited By ~ 5

Author(s):

David M. Jackson

Download Full-text

Consistency and refinement for partial specification in Z

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_93 ◽

1996 ◽

pp. 287-306 ◽

Cited By ~ 12

Author(s):

Eerke Boiten ◽

John Derrick ◽

Howard Bowman ◽

Maarten Steen

Keyword(s):

Partial Specification

Download Full-text

Formalizing new navigation requirements for NASA's Space Shuttle

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_86 ◽

1996 ◽

pp. 160-178 ◽

Cited By ~ 1

Author(s):

Ben L. Di Vito

Keyword(s):

Space Shuttle

Download Full-text

How did software get so reliable without proof?

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_77 ◽

1996 ◽

pp. 1-17 ◽

Cited By ~ 21

Author(s):

C. A. R. Hoare

Download Full-text

Formal specification and verification of the pGVT algorithm

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_99 ◽

1996 ◽

pp. 405-424 ◽

Cited By ~ 5

Author(s):

Balakrishnan Kannikeswaran ◽

Radharamanan Radhakrishnan ◽

Peter Frey ◽

Perry Alexander ◽

Philip A. Wilsey

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Test automation for safety-critical systems: Industrial application and future developments

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_79 ◽

1996 ◽

pp. 39-59 ◽

Cited By ~ 7

Author(s):

Jan Peleska

Keyword(s):

Industrial Application ◽

Test Automation ◽

Critical Systems ◽

Safety Critical ◽

Future Developments ◽

Safety Critical Systems

Download Full-text

Correct and user-friendly implementations of transformation systems

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_111 ◽

1996 ◽

pp. 629-648 ◽

Cited By ~ 9

Author(s):

Kolyang ◽

T. Santen ◽

B. Wolff

Keyword(s):

User Friendly ◽

Transformation Systems

Download Full-text

Data reification without explicit abstraction functions

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_88 ◽

1996 ◽

pp. 195-213 ◽

Cited By ~ 2

Author(s):

T Clement

Download Full-text

Combining VDM-SL specifications with C++ code

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_87 ◽

1996 ◽

pp. 179-194 ◽

Cited By ~ 9

Author(s):

Brigitte Fröhlich ◽

Peter Gorm Larsen

Download Full-text

Visual verification of safety and liveness

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-60973-3_90 ◽

1996 ◽

pp. 228-247 ◽

Cited By ~ 12

Author(s):

Antti Valmari ◽

Manu Setälä

Download Full-text

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Experiences in embedded scheduling

Consistency and refinement for partial specification in Z

Formalizing new navigation requirements for NASA's Space Shuttle

How did software get so reliable without proof?

Formal specification and verification of the pGVT algorithm

Test automation for safety-critical systems: Industrial application and future developments

Correct and user-friendly implementations of transformation systems

Data reification without explicit abstraction functions

Combining VDM-SL specifications with C++ code

Visual verification of safety and liveness

FME'96: Industrial Benefit and Advances in Formal Methods - Lecture Notes in Computer Science
Latest Publications