Total Books: 1 - 2 /2
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lire la suite
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite
Total Books: 1 - 2 /2
