Sciweavers

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