About this scholarly article

2012 34th International Conference on Software Engineering (ICSE) - Behavioral validation of JFSL specifications through model synthesis by Ghezzi, Carlo; Mocci, Andrea is a scholarly article available to read on EtoBox.

Author

Ghezzi, Carlo; Mocci, Andrea

Publisher

IEEE

Published

2012