Specification and implementation of an ISDN telephone system using LOTOS.

Patrik Ernberg, Thomas Hovander, Francisco Monfort

Browse the full FORTE paper archive.