Kinika Tasie-Amadi

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Peter Green, Kinika Tasie-Amadi: Integrating Model-Checking with UML-based SoC Development. FDL 2005: 567-579

1 Peter Green, Kinika Tasie-Amadi: Checking for Consistency between Different UML Models. IASTED Conf. on Software Engineering 2005: 378-383

2005
2	EE	Peter Green, Kinika Tasie-Amadi: Integrating Model-Checking with UML-based SoC Development. FDL 2005: 567-579
1		Peter Green, Kinika Tasie-Amadi: Checking for Consistency between Different UML Models. IASTED Conf. on Software Engineering 2005: 378-383

Coauthor Index