3. ICFEM 2000:
York, England, UK http://computer.org/proceedings/icfem/0822/0822toc.htm
Invited Speaker
export record as
dblp key:
Development
export record as
dblp key:
Toomas P. Plaks :
Formal Derivation of Multilayered Hardware/Software Structures.
5-14
export record as
dblp key:
Structuring
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icfem/VenkataramanRA00
Algebraic Approaches
export record as
dblp key:
Mohamed Jmaiel :
A Unified Algebraic Framework for Specifying Communication Protocols.
57-66
export record as
dblp key:
Tetsuo Tamai :
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.
67-
Invited Speaker
export record as
dblp key:
Verification
export record as
dblp key:
export record as
dblp key:
Formal and Informal Notations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Retrenchment
export record as
dblp key:
export record as
dblp key:
Invited Speaker
export record as
dblp key:
Werner Damm :
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.
153
Z:
Theory and Practice
export record as
dblp key:
Ali E. Abdallah :
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.
157-168
export record as
dblp key:
export record as
dblp key:
Animation
export record as
dblp key:
Ali E. Abdallah ,
Mark Green :
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.
189-
export record as
dblp key:
data released under the ODC-BY 1.0 license
