Validating Timed Component Contracts.

Thibaut Le Guilly Shaoying Liu Petur Olsen Anders P. Ravn Arne Skou

Published in: EUROMICRO-SEAA (2015)

Keyphrases

petri net
neural network
image processing
three dimensional
software engineering
databases
artificial intelligence
multiresolution
software development