Fiona A. C. Polack

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system European Journal of Operational Research	2018-05-24	Paper
Competition and cooperation in pickup and multiple delivery problems Operations Research and Enterprise Systems	2017-04-28	Paper
Refinement via consistency checking in MDA	2013-12-04	Paper
Refactoring in maintenance and development of Z specifications and proofs	2013-08-19	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2080018 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013591 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013572 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013573 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1708031 (Why is no real title available?)	2002-02-19	Paper
A case study using lightweight formalism to review an information system specification Software. Practice & Experience	2001-11-19	Paper

Research outcomes over time

This page was built for person: Fiona A. C. Polack