174
click to vote
COMPSAC
2003
IEEE
16 years 5 hour ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...