FSP and FLTL framework for specification and verification of middle-agents
By: Amelia Bădică and Costin Bădică
Open Access
|Mar 2011Language: English
Page range: 9 - 25
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Related subjects:
© 2011 Amelia Bădică, Costin Bădică, published by University of Zielona Góra
This work is licensed under the Creative Commons License.