Jonathan S. Ostroff
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Discussion on: ``A contribution to the validation of grafcet controlled systems European Journal of Control | 2014-08-07 | Paper |
| Contracts for concurrency Formal Aspects of Computing | 2010-02-01 | Paper |
| Beyond contracts for concurrency Formal Aspects of Computing | 2010-02-01 | Paper |
| scientific article; zbMATH DE number 5181779 (Why is no real title available?) | 2007-08-22 | Paper |
| ERC -- an object-oriented refinement calculus for Eiffel Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 1693509 (Why is no real title available?) | 2002-01-22 | Paper |
| Constraint logic programming for reasoning about discrete event processes The Journal of Logic Programming | 1992-06-28 | Paper |
| A framework for real-time discrete event control IEEE Transactions on Automatic Control | 1990-01-01 | Paper |
Research outcomes over time
This page was built for person: Jonathan S. Ostroff
