Debugging statecharts via model-code traceability
10.1007/978-3-540-88479-8-21
Saved in:
Main Authors: | Guo, L., Roychoudhury, A. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40677 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Debugging statecharts models via model-code tracebility
by: GUO LIANG
Published: (2010) -
Feedback-based debugging
by: LIN, Yun, et al.
Published: (2017) -
Mapping statecharts to verilog for hardware/software co-specification
by: Qin, S., et al.
Published: (2013) -
Dynamic slicing on Java bytecode traces
by: Wang, T., et al.
Published: (2013) -
Automatic mapping of statechart into verilog
by: TRAN VU VIET ANH
Published: (2010)