Lipschitz Robustness of Timed I/O Systems — 1st ed. 2016 (English)
- New search for: Henzinger, Thomas A.
- New search for: Otop, Jan
- New search for: Samanta, Roopsha
- New search for: Henzinger, Thomas A.
- New search for: Otop, Jan
- New search for: Samanta, Roopsha
In:
Verification, Model Checking, and Abstract Interpretation
4
;
250-267
;
2015
- Article/Chapter (Book) / Electronic Resource
-
Title:Lipschitz Robustness of Timed I/O Systems
-
Contributors:
-
Published in:Theoretical Computer Science and General Issues ; 9583, 4 ; 250-267
-
Edition:1st ed. 2016
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2015-12-25
-
Size:18 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: