نتایج جستجو برای: saulyev methods
تعداد نتایج: 1874361 فیلتر نتایج به سال:
We combine a formal speciication technique with an object-oriented method using a meta-method for formal method integration based on heterogeneous notations 18, 19]. We discuss the integrated method, and then apply it to an example.
A cohort of women aged 14-29 in 1993 was identified from the General Practice Research Database and followed up for a period of 4 years. Patient files were searched for evidence of use of emergency contraception and regular contraception. Of the 95 007 women, 15 105 (16%) had received emergency contraception during the study period (an average of 5% per annum). There was a small year on year in...
What Happens the Morning After? the Costs and Bene_ts of Expanding Access to Emergency Contraception
We welcome the opportunity to respond to Harrison’s Letter to the Editor regarding our GHSP article “Women's Limited Choice and Availability of Modern Contraception at Retail Outlets and PublicSector Facilities in Luanda, Angola, 2012–2015.” There is little recent market data available for Angola, and this article was an effort to share what we had learned about product availability in retail o...
The primary objective of this article is to discuss a number of challenges @resented in terms of ‘guidelines’) that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید