ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
◽
Cited By ~ 1
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
◽
Cited By ~ 1
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
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
Formal Techniques for Safety-Critical Systems
10.1007/978-3-030-46902-3
◽
2020
◽
Keyword(s):
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
◽
Formal Techniques
Download Full-text
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
◽
Cited By ~ 2
Author(s):
Cyrille Artho
◽
Peter Csaba Ölveczky
Keyword(s):
International Workshop
◽
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
◽
Formal Techniques
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close