International Journal on Software Tools for Technology Transfer

View Statistics Email Alert RSS Feed

Journal description

Title Titel
International Journal on Software Tools for Technology Transfer
 
e-ISSN
1433-2787
 
ISSN
1433-2779
 
Publisher Herausgeber
SPRINGER HEIDELBERG
 

Publications Publikationen

Filter:
Author:  Grosu, Radu

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu Parallel reachability analysis of hybrid systems in XSpeedArtikel Article 2019
2Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez Software monitoring with controllable overheadArtikel Article 2012