-
1
A methodology for specifying and analyzing consistency of object-oriented behavioral models.
Argitaratua izan da Software engineering notes.Artikulua -
2
Systematic modeling and symbolically assisted simulation of power systems.
Argitaratua izan da IEEE Transactions on power systemsArtikulua -
3
Object-oriented modeling of patients in a medical federation.
Argitaratua izan da IEEE Transactions on information technology in biomedicineArtikulua