| |
| 2000 | ||
|---|---|---|
| 3 | EE | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification Criteria for a Compositional Model for Reactive Systems. ICECCS 2000: 25-35 |
| 2 | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi: Verification of external specifications of reactive systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 692-709 (2000) | |
| 1999 | ||
| 1 | Mario Andres Bruno, Paolo Nesi: Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems. Information & Software Technology 41(1): 35-52 (1999) | |
| 1 | Pierfrancesco Bellini | [2] [3] |
| 2 | Paolo Nesi | [1] [2] [3] |