Affiner les résultats

Type de document

Collection spécifique


Consortium of Swiss Academic Libraries

GSTE is partitioned model checking

Sebastiani, Roberto ; Singerman, Eli ; Tonetta, Stefano ; Vardi, Moshe

In: Formal Methods in System Design, 2007, vol. 31, no. 2, p. 177-196

Consortium of Swiss Academic Libraries

Tensile behaviour of FRC under high strain-rate

Cadoni, Ezio ; Meda, Alberto ; Plizzari, Giovanni

In: Materials and Structures, 2009, vol. 42, no. 9, p. 1283-1294

Università della Svizzera italiana

From context to system and back : how systems emerge from actors cognitive and social interactions : a system dynamics perspective

Colombo, Gianluca ; Mollona, Edoardo

In this paper, the system is viewed as a construction based on the actors’ cognitive and social interactions. The system is the result of multiple – actor sense making (Weick 1995), but at the same time it orients social sense making. In this process each actor’s point of view is a representation of both the system and the context perceived as pertinent by the actor. In other words, the...