Author Info
Name
Affiliation
Papers
OUSMANE SY
Univ Toulouse 1, LIHS, F-31042 Toulouse, France
6
Collaborators
Citations 
PageRank 
5
76
5.69
Referers 
Referees 
References 
99
57
71
Title
Citations
PageRank
Year
A Formal Notation And Tool For The Engineering Of Corba Systems80.542000
Structuring interactive systems specifications for executability and prototypability191.192000
A formal specification of the CORBA event service100.682000
Formal Support for the Engineering of CORBA-based Distributed Object Systems30.491999
Petri Net Based Behavioural Specification of CORBA Systems80.941999
Formal Specification and Prototyping of CORBA Systems281.841999