نتایج جستجو برای: 092 was calculated
تعداد نتایج: 3971492 فیلتر نتایج به سال:
BACKGROUND International travellers are at risk of travel-related, vaccine-preventable diseases. More data are needed on the proportion of travellers who refuse vaccines during a pre-travel health consultation and their reasons for refusing vaccines. METHODS We analyzed data on travellers seen for a pre-travel health consultation from July 2012 through June 2014 in the Global TravEpiNet (GTEN...
This paper introduces a versatile operator for modifying CSP processes to satisfy particular information flow security requirements. We present and justify an algebraic semantics for this operator, which allows us to derive secure processes from (potentially) insecure processes in a calculational style. Moreover, the operator simplifies the task of verifying the security of processes.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید