Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

0818691980

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From monolithic to modular formal specification

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730576 ◽

2002 ◽

Author(s):

G. Rose

Keyword(s):

Formal Specification

Download Full-text

The formal specification of the fieldbus foundation link scheduler in E-LOTOS

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730584 ◽

2002 ◽

Author(s):

N. Petalidis ◽

D.S. Gill

Keyword(s):

Formal Specification

Download Full-text

Selective integration of formal methods in the development of electronic control units

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730578 ◽

2002 ◽

Author(s):

M. Conrad ◽

D. Hotzer

Keyword(s):

Formal Methods ◽

Electronic Control ◽

Control Units ◽

Selective Integration

Download Full-text

The B Bank: a complete case study

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730583 ◽

2002 ◽

Author(s):

M. Buchi

Keyword(s):

Download Full-text

Ubiquitous abstraction: a new approach for mechanized formal verification

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730581 ◽

2002 ◽

Author(s):

J. Rushby

Keyword(s):

Formal Verification ◽

Download Full-text

Interacting frameworks in Catalysis

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730575 ◽

2002 ◽

Author(s):

Kung-Kiu Lau ◽

Shaoying Liu ◽

M. Ornagi ◽

A. Wills

Download Full-text

Automatic synthesis of controllers from formal specifications

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730577 ◽

2002 ◽

Author(s):

E. Tronci

Keyword(s):

Formal Specifications ◽

Automatic Synthesis

Download Full-text

Proving inductive theorems using witnessed test sets

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730579 ◽

2002 ◽

Author(s):

Zhiqing Shao ◽

Yongqiang Sun ◽

Guoxin Song ◽

Huiqun Yu

Keyword(s):

Download Full-text

Using model checking to generate tests from specifications

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730569 ◽

2002 ◽

Author(s):

P.E. Ammann ◽

P.E. Black ◽

W. Majurski

Keyword(s):

Download Full-text

Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730565 ◽

2002 ◽

Author(s):

M. Broy ◽

I. Kruger

Keyword(s):

Message Sequence Charts ◽

Scientific Foundation

Download Full-text