presentation

SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Sara Van Langenhove, Albert Hoogewijs Published in 2006

Reference details