search result

Cover von Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 15560
Media group: MONOGRAPHIE
Cover von Perspectives on Digital Humanism
Search for this author
Year: 2021
Publisher: Berlin, Springer
Media group: OPENACCESS
Cover von Design automation for embedded systems
22.04. - 26.04.96 (9617)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 143
Media group: DAGSTUHL-SEMINAR-REP
Cover von Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 10760
Media group: MONOGRAPHIE
Cover von Software synthesis from dataflow graphs
Author: Bhattacharyya, Shuvra S.; Murthy, Praveen K.; Lee, Edward A. Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: The Kluwer international series in engineering and computer science; 360
Media group: MONOGRAPHIE
Cover von Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 6100
Media group: MONOGRAPHIE
Cover von Model-based engineering of embedded real-time systems
Search for this author
Year: 2007
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 07451
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Tradeoffs in Reactive Systems Design; 2
pp. 126-157
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Invited Paper

Invited Paper

Worst-Case Execution Time Analysis of Lingua Franca Applications
Author: Schoeberl, Martin
Year: 2024
Media group: OASICS
OPEN V 11.1.0.0