Citation Details

Chapter

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations

Rigorous State-Based Methods, 2023, Volume 14010

ISBN : 978-3-031-33162-6

David Geleßus, Sebastian Stock, Fabian Vu, Show All (5) Michael Leuschel, Atif Mashkoor
Read Online

3 Items cite this Chapter

Page: 1
4citations

Chapter

Rigorous State-Based Methods

Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor and Alexander Egyed

Series: Lecture Notes in Computer Science, Year: 2023, Volume 14010, Page 160

DOI: 10.1007/978-3-031-33163-3_12

Read Online
1citations

Chapter

Formal Methods and Software Engineering

Sebastian Stock, Atif Mashkoor and Alexander Egyed

Series: Lecture Notes in Computer Science, Year: 2023, Volume 14308, Page 191

DOI: 10.1007/978-981-99-7584-6_12

Read Online
0citations

Chapter

Formal Methods and Software Engineering

Sebastian Stock

Series: Lecture Notes in Computer Science, Year: 2023, Volume 14308, Page 255

DOI: 10.1007/978-981-99-7584-6_16

Read Online
3
Items cite this Chapter
39
Items cite entire book

citation rank

62nd
percentile

Citations per year

2023

citing books