An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.

Gonzalo Len, Juan C. Yelmo, Carlos Snchez, F. Javier Carrasco, Juan J. Gil

Browse the full FM paper archive.