Back to Results
First PageMeta Content
Formal methods / Formal verification / Logic in computer science / Theoretical computer science / Abstraction / Programming paradigm / Embedded system / Software design / Communications protocol / Computing / Software engineering / Electronic engineering


U:/Documents/Rech/PositionPapers/Emsoft07/Latex/grandChallenges_Sifakis.dvi
Add to Reading List

Document Date: 2012-12-31 04:25:32

Open Document

File Size: 37,07 KB

Share Result on Facebook
UPDATE