1
Argitaratua 2013
Aurkibidea: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2014
Aurkibidea: ... Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2013
Aurkibidea: ... Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2007
Aurkibidea: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Testu osoa
Baliabide elektronikoa eBook