Sciweavers

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