2023 10th International Conference on Dependable Systems and Their Applications

Event name
2023 10th International Conference on Dependable Systems and Their Applications
 
Event type
Event for scientific audience
 
Start date
10-08-2023
End date
11-08-2023
 
Location
Tokyo
Country
Japan
 
Conference Track
Multi Track
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Luckeneder, Christoph ; Hoch, Ralph ; Kaindl, Hermann Towards Using Structural Abstraction for Model CheckingInproceedings Konferenzbeitrag14-Nov-2023