Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030296612, 9783030296629
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ParetoLib: A Python Library for Parameter Synthesis

2019 ◽  
pp. 114-120 ◽  
Author(s):  
Alexey Bakhirkin ◽  
Nicolas Basset ◽  
Oded Maler ◽  
José-Ignacio Requeno Jarabo
Keyword(s):  
Parameter Synthesis

Reachability Analysis for High-Index Linear Differential Algebraic Equations

2019 ◽  
pp. 160-177 ◽  
Author(s):  
Hoang-Dung Tran ◽  
Luan Viet Nguyen ◽  
Nathaniel Hamilton ◽  
Weiming Xiang ◽  
Taylor T. Johnson
Keyword(s):  
Differential Algebraic Equations ◽  
Reachability Analysis ◽  
High Index ◽  
Algebraic Equations ◽  
Linear Differential

scholarly journals A State Class Construction for Computing the Intersection of Time Petri Nets Languages

2019 ◽  
pp. 79-95
Author(s):  
Éric Lubat ◽  
Silvano Dal Zilio ◽  
Didier Le Botlan ◽  
Yannick Pencolé ◽  
Audine Subias
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Class Construction

Assessing the Robustness of Arrival Curves Models for Real-Time Systems

2019 ◽  
pp. 23-40
Author(s):  
Mahmoud Salem ◽  
Gonzalo Carvajal ◽  
Tong Liu ◽  
Sebastian Fischmeister
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document