Sciweavers

15784 search results - page 225 / 3157
» Mega Software Engineering
Sort
View
ARCS
2008
Springer
15 years 9 months ago
Using Organic Computing to Control Bunching Effects
Oliver Ribock, Urban Richter, Hartmut Schmeck
167
Voted
CBSE
2008
Springer
15 years 9 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná