Fiona A. C. Polack

From MaRDI portal
Person:1752830

Available identifiers

zbMath Open polack.fiona-a-cMaRDI QIDQ1752830

List of research outcomes





PublicationDate of PublicationType
Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system2018-05-24Paper
Competition and Cooperation in Pickup and Multiple Delivery Problems2017-04-28Paper
Refinement via consistency checking in MDA2013-12-04Paper
Refactoring in maintenance and development of Z specifications and proofs2013-08-19Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q44722052004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44369772003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44369532003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44369542003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27724612002-02-19Paper
A case study using lightweight formalism to review an information system specification2001-11-19Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1752830&oldid=6428940"
Powered by MediaWiki