Login / Signup
Agnostic Middleware for VANETs: Specification, Implementation and Testing.
Fábio Gonçalves
Bruno Ribeiro
Óscar Gama
Maria João Nicolau
Bruno Dias
António Costa
Alexandre J. T. Santos
Joaquim Macedo
Published in:
WINSYS (2022)
Keyphrases
</>
formal verification
test cases
model based testing
high level
data sets
web services
multi agent systems
low level
distributed systems
access control
real time
test data
efficient implementation
formal specification
software testing
implementation details
specification language
neural network
test case generation