Sciweavers

8623 search results - page 59 / 1725
» Software engineering for secure systems
Sort
View
102
Voted
EUROMICRO
2009
IEEE
15 years 6 months ago
Multi-level Modeling for Industrial Automation Systems
Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree
86
Voted
ARCS
2008
Springer
15 years 5 months ago
System Level Simulation of Autonomic SoCs with TAPES
Andreas Lankes, Thomas Wild, Johannes Zeppenfeld
115
Voted
CBSE
2008
Springer
15 years 5 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná