Search for persons
X
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
2
The First Twenty-Five Years of Industrial Use of the B-Meth..:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
3
Property-Based Modelling and Validation of a CBTC Zone Cont..:
, In:
?
4
Systemic Sudden Stops: The Relevance Of Balance-Sheet Effec..
NBER working paper series, no. w14026
?
5
On the Empirics of Sudden Stops: The Relevance of Balance-S..
NBER working paper series, no. w10520