TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 109 records were found in 0.422 seconds
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings
ISBN: 3-540-30492-43771, 2005
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
ISBN: 3-540-21377-52999, 2004
Towards Real-Time Object-Z
IFM, 49-65, 1999
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM, 293-, 1997
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE, 503-518, 1997
A Development Framework for Object-Oriented Specification and Refinement
TOOLS (13), 173-183, 1994
An Object-Oriented Development Framework for Z
Z User Workshop, 89-107, 1994
Associated Paper: The Object-Z Specification Language
TOOLS (5), 465-484, 1991
Transferring Formal Techniques to Industry
FORTE, 279-286, 1990
Formalisation of behavioural and structural concepts for communication systems
PSTV, 3-18, 1990
Temporal Logic and Z Specifications
Australian Computer Journal, 21(2):62-66, 1989