In order to view this page you need Flash Player 9+ support!
Integration Verification in System on Chips Using Formal Techniques
Subir K Roy
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
Alan FT Winfield, Jin Sa, Mari-Carmen Fernandez-Gago, Clare Dixon and Michael Fisher
Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets
Latefa Ghomri and Hassane Alla
The Verification of Temporal KBS: SPARSE – A Case Study in Power Systems
Jorge Santos, Zita Vale, Carlos Serôdio and Carlos Ramos
Sensor Data Fusion in Automotive Applications
Panagiotis Lytrivis, George Thomaidis and Angelos Amditis
Competence Based Taxonomy of Supplier Firms in the Automotive Industry
Krisztina Demeter, Andrea Gelei and Istvan Jenei
Planar Antenna Technology for mm-Wave Automotive Radar, Sensing, and Communications
Joerg Schoebel and Pablo Herrero
Subject-formal Methods Based on Cognitive Maps and the Problem of Risk Due to the Human Factor
Abramova N., Avdeeva Z., Kovriga S. and Makarenko D.
Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains
Mariagrazia Dotoli, Maria Pia Fanti, Alessandro Giua and Carla Seatzu
Hybrid Search Heuristics to Schedule Bottleneck Facility in Manufacturing Systems
Ponnambalam S.G., Jawahar. N and Maheswaran. R
Event-driven Hybrid Classifier Systems and Online Learning for Soccer Game Strategies
Yuji Sato
Multi-Modal Human Verification using Face and Speech
Changhan Park and Joonki Paik