Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller


HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la… (More)
DOI: 10.1007/BFb0014322