About this scholarly article

2015 41st Euromicro Conference on Software Engineering and Advanced Applications - Validating Timed Component Contracts by Guilly, Thibaut Le; Liu, Shaoying; Olsen, Petur; Ravn, Anders P.; Skou, Arne is a scholarly article available to read on EtoBox.

Author

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

Publisher

IEEE

Published

2015