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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818691980

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

Author(s):

N. Petalidis ◽

D.S. Gill

Keyword(s):

Formal Specification

Download Full-text

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

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 1

Author(s):

M. Buchi

Keyword(s):

Complete Case

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

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 ◽

Cited By ~ 2

Author(s):

J. Rushby

Keyword(s):

Formal Verification ◽

New Approach

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 ◽

Cited By ~ 13

Author(s):

E. Tronci

Keyword(s):

Formal Specifications ◽

Automatic Synthesis

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 ◽

Cited By ~ 8

Author(s):

M. Broy ◽

I. Kruger

Keyword(s):

Message Sequence Charts ◽

Scientific Foundation

Download Full-text

Defining differentiation and integration in Z

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

10.1109/icfem.1998.730571 ◽

2002 ◽

Cited By ~ 2

Author(s):

C.J. Fidge ◽

I.J. Hayes ◽

B.P. Mahony

Download Full-text

A process algebra based verification of a production system

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

10.1109/icfem.1998.730573 ◽

2002 ◽

Cited By ~ 3

Author(s):

J.J.T. Kleijn ◽

J.E. Rooda ◽

M.A. Reniers

Keyword(s):

Production System ◽

Process Algebra

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

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

From monolithic to modular formal specification

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

The B Bank: a complete case study

Interacting frameworks in Catalysis

Ubiquitous abstraction: a new approach for mechanized formal verification

Automatic synthesis of controllers from formal specifications

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

Defining differentiation and integration in Z

A process algebra based verification of a production system

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