( en | de | ru )

 

Disambiguation of "Trakhtenbrot, Mark B."

Author of the publication

copydeleteadd this publication to your clipboard
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

, , , , , , , and . IEEE Trans. Software Eng., 16 (4): 403-414 (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mark B Stephens

Mark B Ring

B Vlavianos

B Schäfers

B Wiederanders

 

Other publications of authors with the same name

Analysis of Applicability for Synchronization Complexity Metric., and . ECBS, page 24-33. IEEE Computer Society, (2011)Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning.. ITiCSE, page 241. ACM, (2003)Use of Verification for Testing and Debugging of Complex Reactive Systems.. SEFM, page 13-22. IEEE Computer Society, (2005)Challenges in teaching the pumping lemma in automata theory course., and . ITiCSE, page 369. ACM, (2005)On Representation of Sequential and Parallel Functions.. MFCS, volume 32 of Lecture Notes in Computer Science, page 411-417. Springer, (1975)Statecharts in Use: Structured Analysis and Object-Orientation., , and . European Educational Forum: School on Embedded Systems, volume 1494 of Lecture Notes in Computer Science, page 368-394. Springer, (1996)Algebraic characterization of regular languages: how to cope with all these equivalences?, and . ITiCSE, page 325. ACM, (2006)Mutation Patterns for Temporal Requirements of Reactive Systems.. ICST Workshops, page 116-121. IEEE Computer Society, (2017)Synchronization Complexity Metric., and . SEKE, page 147-152. Knowledge Systems Institute Graduate School, (2010)An Undergraduate Program in Embedded Systems Engineering., and . CSEE&T, page 103-110. IEEE Computer Society, (2005)