( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Smart Services for Railways.

, , , и . ERCIM News, (2019)

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 Mendelsohn

 

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

Model Checking of Non-Finite State Processes by Finite Approximations., , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 195-215. Springer, (1995)Are Standards an Ambiguity-Free Reference for Product Validation?, , и . RSSRail, том 10598 из Lecture Notes in Computer Science, стр. 251-264. Springer, (2017)Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews., , , , и . REFSQ, том 10753 из Lecture Notes in Computer Science, стр. 101-118. Springer, (2018)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2005)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , и . Graph-Grammars and Their Application to Computer Science and Biology, том 73 из Lecture Notes in Computer Science, стр. 167-179. Springer, (1978)Adopting a Machine Learning Approach in the Design of Smart Transportation Systems., , , и . ERCIM News, (2016)Smart Services for Railways., , , и . ERCIM News, (2019)Formal Modelling and Verification in Service-Oriented Computing., , , , и . ERCIM News, (2007)A Model-Checking Tool for Families of Services., , , и . FMOODS/FORTE, том 6722 из Lecture Notes in Computer Science, стр. 44-58. Springer, (2011)Refinement of Behavioural Models for Variability Description., и . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)