An introduction to event history analysis via multi-state models in given. Examples include the two-state model for survival analysis, the competing risks and illness-death models, and models for bone marrow transplantation. Statistical model specification via transition intensities and likelihood inference is introduced. Consequences of observational patterns are discussed, and a real example ...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In this paper the development of a single set of design parameters of the sizing of the tidally affected detention pond system was analyzed and tested. The approach uses critical duration single storm event of specified return period, together with a single harmonic tide. The design flood level is then the aggregate of the levels obtained using the system model with the four phase lags between ...