Adler, Rasmus
3  results:
Search for persons X
?
2

Component-based modeling and verification of dynamic adapta..:

Adler, Rasmus ; Schaefer, Ina ; Trapp, Mario.
ACM Transactions on Embedded Computing Systems (TECS).  10 (2011)  2 - p. 1-39 , 2011
 
?
3

Component-based modeling and verification of dynamic adapta..:

Adler, Rasmus ; Schaefer, Ina ; Trapp, Mario.
ACM Transactions on Embedded Computing Systems.  10 (2010)  2 - p. 1-39 , 2010
 
1-3