Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540232520, 9783540302322

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Techniques for Networked and Distributed Systems – FORTE 2004

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_24 ◽

2017 ◽

pp. E1-E1

Author(s):

David de Frutos-Escrig ◽

Manuel Núñez

Keyword(s):

Distributed Systems ◽

Formal Techniques

Download Full-text

Towards the Harmonisation of UML and SDL

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_5 ◽

2004 ◽

pp. 61-78 ◽

Cited By ~ 1

Author(s):

Rüdiger Grammes ◽

Reinhard Gotzhein

Download Full-text

Introducing the Iteration in sPBC

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_19 ◽

2004 ◽

pp. 292-308 ◽

Cited By ~ 2

Author(s):

Hermenegilda Maciá ◽

Valentín Valero ◽

Diego Cazorla ◽

Fernando Cuartero

Download Full-text

A Temporal Logic Based Framework for Intrusion Detection

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_23 ◽

2004 ◽

pp. 359-376 ◽

Cited By ~ 17

Author(s):

Prasad Naldurg ◽

Koushik Sen ◽

Prasanna Thati

Keyword(s):

Intrusion Detection ◽

Temporal Logic

Download Full-text

Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_3 ◽

2004 ◽

pp. 33-42 ◽

Cited By ~ 2

Author(s):

Juan Quemada

Keyword(s):

Software Engineering ◽

Formal Description ◽

Formal Description Techniques

Download Full-text

Formal Composition of Distributed Scenarios

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_14 ◽

2004 ◽

pp. 213-228 ◽

Cited By ~ 1

Author(s):

Aziz Salah ◽

Rabeb Mizouni ◽

Rachida Dssouli ◽

Benoît Parreaux

Download Full-text

A Symbolic Symbolic State Space Representation

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_18 ◽

2004 ◽

pp. 276-291 ◽

Cited By ~ 9

Author(s):

Yann Thierry-Mieg ◽

Jean-Michel Ilié ◽

Denis Poitrenaud

Keyword(s):

State Space ◽

Space Representation ◽

State Space Representation

Download Full-text

Towards Design Recovery from Observations

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_9 ◽

2004 ◽

pp. 133-149 ◽

Cited By ~ 2

Author(s):

Hasan Ural ◽

Hüsnü Yenigün

Keyword(s):

Design Recovery

Download Full-text

Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_16 ◽

2004 ◽

pp. 243-258 ◽

Cited By ~ 1

Author(s):

Ghassan Chehaibar

Keyword(s):

System Design ◽

Formal Verification ◽

Cache Coherence ◽

Multiprocessor System ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Distributed Cache

Download Full-text

Parameterized Models for Distributed Java Objects

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004 ◽

10.1007/978-3-540-30232-2_4 ◽

2004 ◽

pp. 43-60 ◽

Cited By ~ 8

Author(s):

Tomás Barros ◽

Rabéa Boulifa ◽

Eric Madelaine

Download Full-text

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Erratum to: Formal Techniques for Networked and Distributed Systems – FORTE 2004

Towards the Harmonisation of UML and SDL

Introducing the Iteration in sPBC

A Temporal Logic Based Framework for Intrusion Detection

Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research

Formal Composition of Distributed Scenarios

A Symbolic Symbolic State Space Representation

Towards Design Recovery from Observations

Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design

Parameterized Models for Distributed Java Objects

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems – FORTE 2004
Latest Publications