The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

Parameterized interfaces for open system verification of product lines

Fisler, K (Worcester Polytechnic Institute)
Monday 08 May 2006, 15:30-16:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧