Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

97

Voted

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

15 years 7 months ago

Systems Development Using Z Generics

Download www-users.cs.york.ac.uk

Fiona Polack, Susan Stepney

Real-time Traffic

FM 1999 | Formal Methods |

claim paper

Related Content

» Using Use Cases in Executable Z

» The Steam Boiler in a Unified Theory of Z and CSP

» Institution Morphisms for Relating OWL and Z

» On Z3950 wrapping and description logics

» ShareZ ClientServer Depth Sensing for SeeThrough HeadMounted Displays

» Plug and Play with Query Algebras SECONDOA Generic DBMS Development Environment

» System Ontology and its role in Software Development

» Towards a Generic Multiagent Model for Decision Support Two Case Studies

» Proof General A Generic Tool for Proof Development

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	FM
Authors	Fiona Polack, Susan Stepney

Comments (0)