Subject
Signal Processing,Control and Systems Engineering,Software
Reference3 articles.
1. Kubasov, S.V., Verification of Synchronous-Automaton Programs, Model. Anal. Inf. Syst., 2007, vol. 14, no. 4, pp. 20–27.
2. Jagadeesan, L.J., Puchol, C., and Von Olnhausen, J.E., A Telecommunications Application in Esterel, Proc. 1st Workshop on Industrial-Strength Formal Specification Techniques, Washington, DC: IEEE Computer Society, 1995, pp. 132–145.
3. Jagadeesan, L.J., Puchol, C., and Von Olnhausen, J.E., Safety Property Verification of Esterel Programs and Applications to Telecommunications Software, Proc. 7th Int. Conf. on Computer Aided Verification, London, UK: Springer, 1995, pp. 127–140.