[IEEE Comput. Soc Eleventh IEEE International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype - Paris, France (21-23 June 2000)] Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668) - Equivalence checking of two Statechart specifications
Myung-Hwan Park,, Ki-Seok Bang,, Jin-Young Choi,, Inhye Kang,Year:
2000
Language:
english
DOI:
10.1109/IWRSP.2000.855185
File:
PDF, 190 KB
english, 2000