Search: (more)
Header

Search Result

2014

BibTeX Search WWW PDF   [BSBK14a]
Y. Bai and K. Schneider and N. Bhardwaj and B. Katti and T. Shazadi
From Clock-Driven to Data-Driven Models
Presentation
BibTeX Search WWW PDF   [BSBK14b]
Y. Bai and K. Schneider and N. Bhardwaj and B. Katti and T. Shazadi
From Clock-Driven to Data-Driven Models
Presentation
BibTeX Search WWW PDF   [KhBS14b]
M.A. Ben Khadra and Y. Bai and K. Schneider
Synthesis of Distributed Synchronous Specifications to SysteMoC
Presentation
BibTeX Search WWW PDF   [RSFB14]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira and Y. Bai
Using the Base Semantics given by fUML for Verification
Presentation