Up-to-date results Fast track conference proceedings State-of-the-art report
Sudipto Ghosh
CPN Software Engineering debugging design design pattern design patterns eclipse modeling framework embedded systems modeling structured analysis validation verification