Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| TROM - An Object Model for Reactive System Development | 0 | 0.34 | 1995 |
| An Object-Oriented Framework for Specifying Reactive Systems | 3 | 0.42 | 1994 |
| Completeness in Statechart Models for Reactive Systems | 0 | 0.34 | 1993 |
| Transformation of a semi-formal specification to VDM | 1 | 0.36 | 1992 |