Sciweavers

13717 search results - page 34 / 2744
» Control Systems
Sort
View
FROCOS
2009
Springer
16 years 14 days ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
RP
2009
Springer
106views Control Systems» more  RP 2009»
16 years 13 days ago
How to Tackle Integer Weighted Automata Positivity
Yohan Boichut, Pierre-Cyrille Héam, Olga Ko...
SSS
2009
Springer
16 years 13 days ago
Relocation Analysis of Stabilizing MAC
Pierre Leone, Marina Papatriantafilou, Elad Michae...