Kinika Tasie-Amadi

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Peter Green, Kinika Tasie-Amadi
Checking for Consistency between Different UML Models. IASTED Conf. on Software Engineering (2005)
Peter Green, Kinika Tasie-Amadi
Integrating Model-Checking with UML-based SoC Development. FDL (2005)