Total Books: 1 - 2 /2
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lee mas
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lee mas
Total Books: 1 - 2 /2
