Christie Bolton

From MaRDI portal
Person:1763726

Available identifiers

zbMath Open bolton.christieMaRDI QIDQ1763726

List of research outcomes





PublicationDate of PublicationType
Using the Alloy analyzer to verify data refinement in Z2013-12-04Paper
A hierarchy of failures-based models2013-09-09Paper
A comparison of refinement orderings and their associated simulation rules2013-08-19Paper
Capturing Conflict and Confusion in CSP2009-03-06Paper
A singleton failures semantics for communicating sequential processes2006-10-25Paper
FM 2005: Formal Methods2006-01-10Paper
A hierarchy of failures-based models: theory and application2005-02-22Paper
https://portal.mardi4nfdi.de/entity/Q47375622004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44719122004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q47626512001-02-22Paper
https://portal.mardi4nfdi.de/entity/Q44942502000-08-10Paper

Research outcomes over time

This page was built for person: Christie Bolton

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