Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer US

9781504129589, 9780387349459

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying properties of Basic LOTOS processes using temporal logic

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_8 ◽

1996 ◽

pp. 109-116 ◽

Author(s):

Carron Kirkwood

Keyword(s):

Download Full-text

Stabilizing client/server protocols without the tears

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_2 ◽

1996 ◽

pp. 5-19

Author(s):

Mohamed G. Gouda

Keyword(s):

Download Full-text

A formal method for event-triggered sequential systems

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_14 ◽

1996 ◽

pp. 185-200

Author(s):

C. Petersohn

Keyword(s):

Formal Method ◽

Sequential Systems ◽

Event Triggered

Download Full-text

Towards a mobile LOTOS

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_10 ◽

1996 ◽

pp. 127-142 ◽

Author(s):

E. Najm ◽

J. B. Stefani ◽

A. Février

Download Full-text

Assertional Verification of a connection management protocol

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_29 ◽

1996 ◽

pp. 401-416 ◽

Author(s):

Andrds L. Oldh ◽

Sonia M. Heemstra

Keyword(s):

Connection Management ◽

Management Protocol

Download Full-text

Specification and Verification of Timed Systems

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_1 ◽

1996 ◽

pp. 3-3

Author(s):

Joseph Sifakis

Keyword(s):

Timed Systems ◽

Specification And Verification

Download Full-text

Mutation testing applied to validate specifications based on Petri Nets

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_24 ◽

1996 ◽

pp. 329-337 ◽

Author(s):

S. C. P. F. Fabbri ◽

J. C. Maldonado ◽

P. C. Masiero ◽

M. E. Delamaro ◽

E. Wong

Keyword(s):

Mutation Testing

Download Full-text

A Reachability Analysis of RT-LOTOS Specifications

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_9 ◽

1996 ◽

pp. 117-124 ◽

Author(s):

J. P. Courtiat ◽

R. C. de Oliveira

Keyword(s):

Reachability Analysis

Download Full-text

Verification of Liveness Property for Communicating FSM’s with Conditional Transitions depending on State Visiting Numbers

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_31 ◽

1996 ◽

pp. 433-440

Author(s):

Teruo Higashino ◽

Akio Nakata ◽

Tatsuo Itoh ◽

Kenichi Taniguchi

Keyword(s):

Liveness Property

Download Full-text

Real-time LOTOS and timed observations

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_28 ◽

1996 ◽

pp. 383-397 ◽

Author(s):

J. Davies ◽

J. W. Bryans ◽

S. A. Schneider

Keyword(s):

Download Full-text