Address:

P.O. Box 217

7500 AE Enschede

The Netherlands

Telephone:

+31 53 489 4312

Fax:

+31 53 489 2927

Email:

j.marincic <AT> ewi.utwente.nl

www:

www.cs.utwente.nl/~marincicj
    

Research

 

As a member of the MOCA project, I am interested in the

modelling of embedded systems for the purpose of

formal verification .

 

 

 

 

 

Publications

 

 

 

 

 

 

Jelena Marinčićís homepage