1
منشور في 2012
جدول المحتويات: ...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ...Cloud, Mobile and Web Computing -- Model-Driven Development of Mobile Applications Allowing Role...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2007
جدول المحتويات: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2010
جدول المحتويات: ...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...
احصل على النص الكامل
الكتروني كتاب الكتروني