lalita-jategaonkar-jagadeesan documents

Documents Specification-based testing of reactive software: A case study in technology transfer

Documents A formal approach to reactive systems software: A telecommunications application in Esterel