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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Carron Kirkwood

Keyword(s):

Temporal Logic

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):

Client Server

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

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

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

Author(s):

J. Davies ◽

J. W. Bryans ◽

S. A. Schneider

Keyword(s):

Real Time

Download Full-text

A LOTOS Compiler Generating Multi-threaded Object Codes

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

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

1996 ◽

pp. 271-286 ◽

Cited By ~ 2

Author(s):

Keiichi Yasumoto ◽

Teruo Higashino ◽

Kota Abet ◽

Toshio Matsuura ◽

Kenichi Taniguchi

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Specifying properties of Basic LOTOS processes using temporal logic

Stabilizing client/server protocols without the tears

A formal method for event-triggered sequential systems

Towards a mobile LOTOS

Assertional Verification of a connection management protocol

Specification and Verification of Timed Systems

A Reachability Analysis of RT-LOTOS Specifications

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

Real-time LOTOS and timed observations

A LOTOS Compiler Generating Multi-threaded Object Codes

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