Ken Robinson

From MaRDI portal



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!

PublicationDate of PublicationType
Tank monitoring: A pAMN case study
Formal Aspects of Computing
2006-11-17Paper
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science
2005-11-10Paper
scientific article; zbMATH DE number 2013586 (Why is no real title available?)2003-12-04Paper
scientific article; zbMATH DE number 1303989 (Why is no real title available?)1999-06-17Paper
scientific article; zbMATH DE number 1104392 (Why is no real title available?)1998-05-03Paper
scientific article; zbMATH DE number 1104402 (Why is no real title available?)1998-04-01Paper
scientific article; zbMATH DE number 1104403 (Why is no real title available?)1998-02-02Paper
Specification statements and refinement
IBM Journal of Research and Development
1987-01-01Paper
scientific article; zbMATH DE number 3667932 (Why is no real title available?)1980-01-01Paper


Research outcomes over time


This page was built for person: Ken Robinson