Anders P. Ravn

Anders P. Ravn

1 ספרים במאגר

ספרים

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded SystemsAnders P. Ravn

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

Anders P. Ravn · 2011

ספרים משותפים ואוספים

ספרים שבהם Anders P. Ravn מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Technology for Verification and AnalysisZhiming Liu

Automated Technology for Verification and Analysis

Zhiming Liu · 2009