Sciweavers

2377 search results - page 116 / 476
» Hybrid Systems in TLA
Sort
View
GECCO
2009
Springer
16 years 29 days ago
Evolved finite state controller for hybrid system
Jean-François Dupuis, Zhun Fan, Erik D. Goo...
IWANN
2009
Springer
16 years 29 days ago
Design of a Snort-Based Hybrid Intrusion Detection System
J. Gómez, Consolación Gil, N. Padill...
TAP
2009
Springer
96views Hardware» more  TAP 2009»
16 years 28 days ago
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
Stefan Ratschan, Jan-Georg Smaus