Sciweavers

6650 search results - page 69 / 1330
» models 2009
Sort
View
FM
2009
Springer
90views Formal Methods» more  FM 2009»
16 years 27 days ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
FMICS
2009
Springer
16 years 27 days ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
FMN
2009
Springer
85views Multimedia» more  FMN 2009»
16 years 27 days ago
A Mathematical Model for Evaluating the Perceptual Quality of Video
Jose Joskowicz, José C. López-Ardao,...
MEMBRANE
2009
Springer
16 years 26 days ago
A P System Based Model of an Ecosystem of Some Scavenger Birds
Mónica Cardona, M. Angels Colomer, Antoni M...