Sciweavers

20 search results - page 1 / 4
» eurocast 2005
Sort
View
EUROCAST
2005
Springer
86views Hardware» more  EUROCAST 2005»
13 years 9 months ago
Verification of Language Based Fault-Tolerance
Clara Benac Earle, Lars-Åke Fredlund
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
13 years 9 months ago
Extension of Ontologies Assisted by Automated Reasoning Systems
Joaquín Borrego-Díaz, Antonia M. Ch&...
EUROCAST
2005
Springer
75views Hardware» more  EUROCAST 2005»
13 years 9 months ago
Programming by Integration in Robotics
José Luis Fernández-Pérez, An...