Text Size
FacebookTwitterStumbleuponyoutubeflickr

Technical Research: Specification and Verification

 

Specification and Verification

May 22nd, Friday, 08:30 am - 10:30 am
Session Chair: Elisabetta Di Nitto
Room: F2
 

08:30 - 09:00

 

 

 

Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi

Politecnico di Milano, Italy

     

09:00 - 09:30

 

 

 

Daniel Matichuk; Toby Murray; June Andronick; Ross Jeffery; Gerwin Klein; Mark Staples

NICTA, Australia; University of New South Wales, Australia

     

09:30 - 10:00

 

 

 

Germán Regis; Renzo Degiovanni; Nicolás D'Ippolito; Nazareno Aguirre

Universidad Nacional de Río Cuarto, Argentina; Universidad de Buenos Aires, Argentina

     

10:00 - 10:30

 

 

 

Ivan Bocic; Tevfik Bultan

University of California at Santa Barbara, USA

NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand