23. FORTE 2003:
Berlin, Germany Hartmut König , Monika Heiner , Adam Wolisz (Eds.):
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings.
Lecture Notes in Computer Science 2767 Springer 2003, ISBN 3-540-20175-0
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Reinhard Gotzhein :
Vertical Reuse in the Development of Distributed Systems with FDTs.
31-47
export record as
dblp key:
Manfred Broy :
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.
48-61
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rodolfo Gómez ,
Howard Bowman :
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
177-192
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/forte/BertolottiDSV03 export record as
dblp key:
export record as
dblp key:
Peter Herrmann :
Formal Security Policy Verification of Distributed Component-Structured Software.
257-272
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joachim Thees :
Type Abstraction in Formal Protocol Specifications with Container Types.
383-398
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
