I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A Quantitative Metric Temporal Logic for Execution-Time Con..:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,
Lehmann, Sascha ; Antoni, Sven-Thomas ; Schlaefer, Alexander. - p. 170-189 , 2019
Link: https://doi.org/10.1007/978-3-030-23703-5_9