Export 2 results:
Search results for biblio_year:2003
Filters: 1 is field_research_area:6 and Author is Andy Schürr [Reset Search]
Filters: 1 is field_research_area:6 and Author is Andy Schürr [Reset Search]
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems In ACM/IEEE MODELS 2009, Edited by A. Schürr and B. Selic. Springer-Verlag Berlin, Heidelberg, 2009.
Simula.SE.645.pdf (546.85 KB)
A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation In IEEE/ACM MODELS 2009 Proceedings, Edited by A. Schürr and B. Selic. Springer-Verlag Berlin, Heidelberg, 2009.