Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.105.0 ◽

2012 ◽

Vol 105 ◽

Author(s):

Cyrille Artho ◽

Peter Csaba Ölveczky

Keyword(s):

International Workshop ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems

10.1007/978-3-319-29510-7 ◽

2016 ◽

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems (FTSCS 2016)

Science of Computer Programming ◽

10.1016/j.scico.2019.02.001 ◽

2019 ◽

Vol 175 ◽

pp. 35-36 ◽

Author(s):

Cyrille Artho ◽

Peter Csaba Ölveczky

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems (FTSCS 2014)

Science of Computer Programming ◽

10.1016/j.scico.2016.10.002 ◽

2017 ◽

Vol 133 ◽

pp. 89-90

Author(s):

Cyrille Artho ◽

Peter Csaba Ölveczky

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems

10.1007/978-3-319-53946-1 ◽

2017 ◽

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems

10.1007/978-3-319-05416-2 ◽

2014 ◽

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems (FTSCS 2018)

Science of Computer Programming ◽

10.1016/j.scico.2021.102658 ◽

2021 ◽

Vol 208 ◽

pp. 102658

Author(s):

Cyrille Artho ◽

Peter Csaba Ölveczky

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems

10.1007/978-3-319-17581-2 ◽

2015 ◽

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.259.0 ◽

2017 ◽

Vol 259 ◽

Author(s):

Alex Groce ◽

Stefan Leue

Keyword(s):

Causal Reasoning ◽

International Workshop ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Formal Techniques for Safety-Critical Systems

10.1007/978-3-030-12988-0 ◽

2019 ◽

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text

Formal Techniques for Safety-Critical Systems (FTSCS 2015)

Science of Computer Programming ◽

10.1016/j.scico.2017.12.008 ◽

2018 ◽

Vol 154 ◽

pp. 1-2

Author(s):

Cyrille Artho ◽

Peter Csaba Ölveczky

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Formal Techniques

Download Full-text