Sciweavers

21430 search results - page 39 / 4286
» Abstract Effective Models
Sort
View
ER
2007
Springer
117views Database» more  ER 2007»
15 years 4 months ago
An Abstract Interaction Model for a MDA Software Production Method
Francisco Valverde, José Ignacio Panach, Os...
LFCS
2007
Springer
15 years 4 months ago
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
Raffaella Gentilini, Klaus Schneider, B. Mishra