Login / Signup
A New Mechanism for the Deployment of Modular Solar Arrays: Kinematic and Static Analysis.
Stefano Seriani
Paolo Gallina
Lorenzo Scalera
Alessandro Gasparetto
Armin Wedler
Published in:
ARK (2018)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
degrees of freedom
test generation
artificial intelligence
abstract interpretation
database systems
data exchange
regular expressions
test suite
joint space