|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 492 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Verification, model checking, and abstract interpretation : , 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 395 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
