|
Search the dblp DataBase
Mario Andres Bruno:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi
Verification Criteria for a Compositional Model for Reactive Systems. [Citation Graph (0, 0)][DBLP] ICECCS, 2000, pp:25-35 [Conf]
- Mario Andres Bruno, Paolo Nesi
Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 1999, v:41, n:1, pp:35-52 [Journal]
- Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi
Verification of external specifications of reactive systems. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2000, v:30, n:6, pp:692-709 [Journal]
Search in 0.002secs, Finished in 0.002secs
|