Name Card

Full name Familienname, Vorname
Suri, Neeraj
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting safe thread schedules from incomplete model checking resultsArtikel Article 2020
2Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting Safe Thread Schedules from Incomplete Model Checking ResultsKonferenzbeitrag Inproceedings 2019
3Herzner, Wolfgang ; Schlager, Martin ; Le Sergent, Thierry ; Huber, Bernhard ; Islam, Shariful ; Suri, Neeraj ; Balogh, András From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-ChainKonferenzbeitrag Inproceedings 2006
4El Salloum, Christian ; Obermaisser, Roman ; Huber, Bernhard ; Kopetz, Hermann ; Suri, Neeraj Supporting Heterogeneous Applications in the DECOS Integrated ArchitectureKonferenzbeitrag Inproceedings 2006

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kopetz, Hermann TTA Supported Service AvailabilityKonferenzbeitrag Inproceedings2005