Sciweavers

12774 search results - page 259 / 2555
» A Framework for Proof Systems
Sort
View
IJPP
2006
45views more  IJPP 2006»
15 years 6 months ago
Verification Approach of Metropolis Design Framework for Embedded Systems
Xi Chen, Harry Hsieh, Felice Balarin
INFORMATICASI
2006
139views more  INFORMATICASI 2006»
15 years 6 months ago
Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison
Carole Bernon, Vincent Chevrier, Vincent Hilaire, ...