Login / Signup
Formal Modelling and Analysis of Predictable Java.
Thomas Bøgholm
René Rydhof Hansen
Anders P. Ravn
Hans Søndergaard
Bent Thomsen
Published in:
ERCIM News (2010)
Keyphrases
</>
data sets
information retrieval
artificial intelligence
open source
quantitative analysis
database
real time
databases
website
database systems
data analysis
programming language
web applications
formal model
static analysis