Citation Details
Chapter
Integer-Complete Synthesis for Bounded Parametric Timed Automata
Reachability Problems, 2015, Volume 9328
ISBN : 978-3-319-24536-2
8 Items cite this Chapter
Chapter
Formal Techniques for Safety-Critical Systems
Series: Communications in Computer and Information Science, Year: 2017, Volume 694, Page 129
DOI: 10.1007/978-3-319-53946-1_8
Read OnlineChapter
Formal Techniques for Safety-Critical Systems
Series: Communications in Computer and Information Science, Year: 2016, Volume 596, Page 52
DOI: 10.1007/978-3-319-29510-7_3
Read OnlineChapter
Formal Modeling and Analysis of Timed Systems
Series: Lecture Notes in Computer Science, Year: 2022, Volume 13465, Page 200
DOI: 10.1007/978-3-031-15839-1_12
Read OnlineConference Paper
Controlling Actions and Time in Parametric Timed Automata
Conference: 2016 16th International Conference on Application of Concurrency to System Design (ACSD), Year: 2016, Page 45
DOI: 10.1109/ACSD.2016.20
Read OnlineChapter
Formal Methods and Software Engineering
Series: Lecture Notes in Computer Science, Year: 2016, Volume 10009, Page 400
DOI: 10.1007/978-3-319-47846-3_25
Read OnlineArticle
Control of Real-Time Systems With Integer Parameters
Journal: IEEE Transactions on Automatic Control, 2022, Volume 67, Number 1, Page 75
Read OnlineArticle
Automated synthesis of local time requirement for service composition
Journal: Software and Systems Modeling, 2020, Volume 19, Number 4, Page 983
DOI: 10.1007/s10270-020-00787-5
Read OnlineChapter
Recent Trends in Algebraic Development Techniques
Series: Lecture Notes in Computer Science, Year: 2021, Volume 12669, Page 3
DOI: 10.1007/978-3-030-73785-6_1
Read Onlinecitation rank
Citations per year
 | | | | |
| 2016 | 2022 | |||
citing journals
citing books
© 2024 Springer. Part of Springer Nature.