11603 search results - page 352 / 2321 » Securing Embedded Systems |
176
click to vote
SFM
2004
Springer
16 years 4 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
166
Voted
EUROPKI
2007
Springer
16 years 28 days ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...