Embedded Systems Design - Scientific Challenges and Work Directions.

Joseph Sifakis

Browse the full TACAS paper archive.