1
Publicado em 2012
Sumário: ...-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ...Cloud, Mobile and Web Computing -- Model-Driven Development of Mobile Applications Allowing Role...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...
Obter o texto integral
Recurso Electrónico livro electrónico