( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.

, , , и . J. Rail Transp. Plan. Manag., 6 (2): 163-181 (2016)

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.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Gori

Stefania Strassberg

 

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

Applying the QuARS tool to detect variability., , и . SPLC (B), стр. 62:1-62:4. ACM, (2019)A Deontic Logical Framework for Modelling Product Families., , , и . VaMoS, том 37 из ICB-Research Report, стр. 37-44. Universität Duisburg-Essen, (2010)On testing UML statecharts., , и . J. Log. Algebraic Methods Program., 69 (1-2): 1-74 (2006)Assisting the design of a groupware system., , , , , и . J. Log. Algebraic Methods Program., 78 (4): 191-232 (2009)Detecting policy conflicts by model checking UML state machines., , , и . ICFI, стр. 59-74. IOS Press, (2009)Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report., , , и . VaMoS, стр. 43-50. ACM, (2018)Model Checking Groupware Protocols., , , и . COOP, стр. 179-194. IOS, (2004)Dynamic Programming as Graph Searching: An Algebraic Approach., , и . J. ACM, 28 (4): 737-751 (1981)Refinement of Behavioural Models for Variability Description., и . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Ambiguity and tacit knowledge in requirements elicitation interviews., , и . Requir. Eng., 21 (3): 333-355 (2016)