15. ETFA 2010:
Bilbao, Spain
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shuhao Li ,
Paul Pettersson :
Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Farhang Nemati ,
Thomas Nolte :
A flexible tool for evaluating scheduling, synchronization and partitioning algorithms on multiprocessors.
1-4
export record as
dblp key:
conf/etfa/Bonin-FontBOO10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Miriam Schleipen :
A concept for conformance testing of AutomationML models by means of formal proof using OCL.
1-5
export record as
dblp key:
conf/etfa/Bonnin-PascualO10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Melik-MerkumiansWHZ10 export record as
dblp key:
export record as
dblp key:
conf/etfa/OrtizBGABESCD10 export record as
dblp key:
export record as
dblp key:
Dapeng Tian ,
K. Ohnishi :
Online identification and compensation of the force estimating error in sensor-less bilateral control system.
1-4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/RodriguezPGBI10 export record as
dblp key:
export record as
dblp key:
Timo Holm ,
Peter Wiener ,
Stefan Horn :
Using Service Challenge-based Evaluations for the systematic innovation of proactive remote services - An industry case study.
1-4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Stefan Knauth :
A gateway concept for visual exploration and control of building services.
1-4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Melik-MerkumiansZM10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/AparicioAUJDG10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/RadermacherMPG10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Santonja-ClimentTASSA10 export record as
dblp key:
export record as
dblp key:
conf/etfa/Ribas-XirgoATV10 export record as
dblp key:
export record as
dblp key:
conf/etfa/Dominguez-JaimesWT10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/PanagiotouGKS10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Berna-MartinezP10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Garcia-VallsRFEB10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Basanta-ValGE10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/CiccozziCDSAC10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/ZubizarretaCMPP10 export record as
dblp key:
Patrice Bonhomme :
Towards a new exhaustive simulation technique for P-time Petri nets.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/VasyutynskyyGKW10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tina Mattes ,
Frank Schiller :
Determination of the quality of error detection in communication by CRC concatenated with parity bits.
1-7
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Ferrandiz-ColmeiroGP10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marllene Daneti :
On using a simplified model for leak detection improving in fluid filled pipelines.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Petr Jurcík ,
Zdenek Hanzálek :
Simulation study of energy efficient scheduling for IEEE 802.15.4/ZigBee cluster-tree Wireless Sensor Networks with time-bounded data flows.
1-8
export record as
dblp key:
export record as
dblp key:
conf/etfa/FranciscoVEAR10 export record as
dblp key:
conf/etfa/PasamontesAGB10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/DvoryanchikovaLCL10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Garcia-AlvarezFS10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/WisniewskiTDNEK10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/Bouza-FernandezGJV10 export record as
dblp key:
Mário de Sousa :
Analyzing the compatibility between ISA 88 and IEC 61499.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/HolenderskiOBL10 export record as
dblp key:
conf/etfa/AndrushevichSKK10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marco Di Natale ,
Haibo Zeng :
System identification and extraction of timing properties from controller area network (CAN) message traces.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/ThramboulidisS10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jose Fortin ,
Raúl Suárez :
General environment for human interaction with a robot hand-arm system and associate elements.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ali Gorine ,
Nathalie Sauer :
Lower bounds and simulated annealing for job shop scheduling problems with blocking constrains.
1-8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/etfa/VallejoHAPLDC10 export record as
dblp key:
data released under the ODC-BY 1.0 license
