Competing risk models to estimate the excess mortality and the first recurrent-event hazards.

However, in addition to a “raw” translation from Alloy to Coq, we wanted our tool to provide some support to ease the proof in Coq of the assertions of an Alloy model.. Such a

The results of this paper presented that the developed NorSand model was able to eliminate the excessive dilation of sand which is produced by the commercial finite element

This tran- sition is associated with a small millennial-scale warming event first identified in Northern Atlantic marine records [Chapman and Shackleton, 1999; Oppo et al., 2006]

In all the existing continuous event-triggered control strategies developed for nonlinear systems, computing the event requires to compute a function depending upon the current

JeB, a JavaScript framework to simulate Event-B models, is based on the last observations. Automated tools and human can cooperate to build and run simulations of formal models. Most

The research is primarily focused on knowledge valorization rather than knowledge development. A large body of knowledge on SE exists and software tools to support the

This paper presents a novel technique for reduction of a process model based on the notion of in- dication, by which, the occurrence of an event in the model reveals the occurrence

((such raising must be blocked. here, then what checks F _crY! I amSUlPSting that the type of languap that I am describing is exemplified in the Mayan languages, and I will show