Autor der Publikation

Generating composite behavior of embedded software components based on UML behavioral model and process algebra.

, , , und . ACM SIGSOFT Software Engineering Notes, 36 (1): 1-9 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Analytical Design of Evolutionary Control Flow Components., und . HASE, Seite 48-55. IEEE Computer Society, (1997)An empirical analysis of scheduling techniques for real-time cloud-based data processing., , , , und . SOCA, Seite 1-8. IEEE Computer Society, (2011)RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties., , und . RTCSA, Seite 147-153. IEEE Computer Society, (2005)Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking., , und . SCAM, Seite 25-34. IEEE Computer Society, (2005)A model-based I/O interface synthesis framework for the cross-platform software modeling., , , und . RSP, Seite 16-22. IEEE, (2012)Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study., , und . ISORC, Seite 93-98. IEEE Computer Society, (2003)Distributed Simulation of Multi-Agent Hybrid Systems., und . Symposium on Object-Oriented Real-Time Distributed Computing, Seite 356-364. IEEE Computer Society, (2002)Representation of Confidence in Assurance Cases Using the Beta Distribution., , , , und . HASE, Seite 86-93. IEEE Computer Society, (2016)Distributed web-based simulation optimization., , , und . Winter Simulation Conference, Seite 1785-1793. WSC, (2000)The Specification and Schedulability Analysis of Real-Time Systems using ACSR., , und . RTSS, Seite 266-275. IEEE Computer Society, (1995)