21. FORTE 2001:
Cheju Island, Korea Myungchul Kim , Byoungmoon Chin , Sungwon Kang , Danhyung Lee (Eds.):
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea.
IFIP Conference Proceedings 197 Kluwer 2001, ISBN 0-7923-7470-3
Part 1 - Formal Methods in Software Development 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pao-Ann Hsiung :
Formal Synthesis and Control of Soft Embedded Real-Time Systems.
35-52
Part 2 - Distributed Systems Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Part 3 - Timed Automata
export record as
dblp key:
Howard Bowman :
Time and Action Lock Freedom Properties for Timed Automata.
119-134
export record as
dblp key:
export record as
dblp key:
Akio Nakata ,
Teruo Higashino :
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.
151-168
Part 4 - Process Algebra
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Part 5 - Applications of Verification
export record as
dblp key:
export record as
dblp key:
Farn Wang :
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.
235-250
export record as
dblp key:
Vlad Rusu :
Verifying a Sliding Window Protocol using PVS.
251-268
Part 6 - Test Sequence Derivation
export record as
dblp key:
export record as
dblp key:
Wen-Huei Chen :
Executable Test Sequence for the Protocol Data Flow Property.
285-300
export record as
dblp key:
Part 7 - Formal Methods in Software Development 2
export record as
dblp key:
Jan Bredereke :
A Tool for Generating Specifications from a Family of Formal Requirements.
319-334
export record as
dblp key:
Part 8 - Theories of Verification
export record as
dblp key:
Matti Luukkainen :
Verification of Dense Time Properties using Theories of Untimed Process Algebra.
353-368
export record as
dblp key:
conf/forte/Ultes-NitscheJ01
export record as
dblp key:
Part 9 - Invited Papers
export record as
dblp key:
Dines Bjørner :
On Formal Techniques in Protocol Engineering - Example Challenges.
395-420
export record as
dblp key:
export record as
dblp key:
export record as
dblp key: