摘要:约瑟夫·斯发基斯(Joseph Sifakis)是一个来自希腊的计算机科学家。1946年出生于希腊的Heraklion, Crete。Sifakis年青时候分别在希腊的雅典国立科技大学的电子工程系和法国[阅读全文]