Old Web
English
Sign In
Acemap
>
authorDetail
>
Marcelin Fortes Da Cruz
Marcelin Fortes Da Cruz
Common cause and special cause
Formal methods
Formal specification
Systems engineering
Computer science
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Linking Common Cause Analysis Tools to Formal Methods Based Safety Analysis Tools
2005
Chris Papadopoulos
Malinda Frisk
Marcelin Fortes Da Cruz
Sylvain Metge
Harshal Trivedi
Pierre Bieber
Laurent Sagaspe
Show All
Source
Cite
Save
Citations (0)
1