( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example.

, и . Real Time Syst., 10 (2): 143-178 (1996)

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.

Leonor Wagner

Leonor Thompson

Leonor Heinz

Leonor Wagner

Leonor Wagner

 

Другие публикации лиц с тем же именем

Problem Frames: A Case for Coordination., , , , и . COORDINATION, том 2949 из Lecture Notes in Computer Science, стр. 5-19. Springer, (2004)A Product Line Architecture for Workflow Management Systems According to the Component-based Development Approach., , , и . IRI, стр. 112-119. IEEE Systems, Man, and Cybernetics Society, (2003)Remote Working and Collaboration in Agile Teams., , , и . ICIS, Association for Information Systems, (2016)Formal Methods for Real-Time Systems., и . NATO ASI RTC, том 127 из NATO ASI Series, стр. 619-620. Springer, (1992)Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example., и . Real Time Syst., 10 (2): 143-178 (1996)Towards Understanding How Software Startups Deal with UX from Customer and User Information., , , , , и . ICSOB, том 463 из Lecture Notes in Business Information Processing, стр. 287-303. Springer, (2022)Object-Oriented Real-Time Systems: Workshop Report., , и . ECOOP Workshops, том 1357 из Lecture Notes in Computer Science, стр. 433-435. Springer, (1997)Workshop on Object-Oriented Real-Time Systems., , и . ECOOP Workshops, том 1543 из Lecture Notes in Computer Science, стр. 502. Springer, (1998)Onboarding: How Newcomers Integrate into an Agile Project Team., , , , и . XP, том 383 из Lecture Notes in Business Information Processing, стр. 20-36. Springer, (2020)Sustaining Agility: Organizational Change, Factors and Theoretical Lenses., , , , и . XP, том 475 из Lecture Notes in Business Information Processing, стр. 115-131. Springer, (2023)