Autor der Publikation

Using statecharts for hardware description and synthesis.

, und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (7): 798-807 (1989)

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

A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal.. Bulletin of the EATCS, (2003)Algorithmics: The Spirit of Computing, und . Addison-Wesley, 3rd Edition, (2004)Curriculum and Course Syllabi for a High-School CS Program., und . Computer Science Education, 9 (2): 114-147 (1999)Languages for Programming - From Punched Cards to Wise Computing.. MODELSWARD, Seite 9. SciTePress, (2018)On Statecharts with Overlapping., und . ACM Trans. Softw. Eng. Methodol., 1 (4): 399-421 (1992)And/Or Programs: A New Approach to Structured Programming.. ACM Trans. Program. Lang. Syst., 2 (1): 1-17 (1980)What (Else) Should CS Educators Know?, und . Commun. ACM, 41 (9): 77-84 (1998)Nondeterminism in Logics of Programs., und . POPL, Seite 203-213. ACM Press, (1978)Completeness Results for Recursive Data Bases., und . PODS, Seite 244-252. ACM Press, (1993)Some Thoughts on Behavioral Programming.. Petri Nets, Volume 6128 von Lecture Notes in Computer Science, Seite 18. Springer, (2010)