Sciweavers

11 search results - page 3 / 3
» A Formal Framework to Integrate Timed Security Rules within ...
Sort
View
FUIN
2008
119views more  FUIN 2008»
13 years 5 months ago
Modeling Communication with Synchronized Environments
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
Tiberiu Seceleanu, Axel Jantsch