نتایج جستجو برای: timed collection
تعداد نتایج: 203629 فیلتر نتایج به سال:
We are interested in the incremental development, by integration of components, of component-based timed systems, and in particular, in the preservation of their properties during such a development process. We model timed components with timed automata. Their composition is achieved with the classic parallel composition operator for timed automata. The specifications of these timed systems are...
Background: Microalbominuria (MA) is early presentation of renal damage which acts as an independent factor of cardiovascular events in these patients. There are various methods for sampling and also different laboratory tests to measuring albominuria. The aim of this study was to compare of different urine collection methods for measuring albominuria using immunoturbidometry assay which has a...
The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید