( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.

, , , и . FMICS, том 11687 из Lecture Notes in Computer Science, стр. 1-21. Springer, (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.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

 

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

Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , и . ICSE (1), стр. 335-344. ACM, (2010)Profiled SCA with a New Twist: Semi-supervised Learning., , , , и . IACR Cryptology ePrint Archive, (2017)A Framework to Handle Linear Temporal Properties in (ømega-)Regular Model Checking, , и . CoRR, (2009)Quantitative Variability Modeling and Analysis., и . VaMoS, стр. 13:1-13:2. ACM, (2019)ProVeLines: a product line of verifiers for software product lines., , , , и . SPLC Workshops, стр. 141-146. ACM, (2013)A Formal Verification of Safe Update Point Detection in Dynamic Software Updating., , , , и . CRiSIS, том 10158 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2016)Memory Event Clocks., , и . FORMATS, том 6246 из Lecture Notes in Computer Science, стр. 198-212. Springer, (2010)Scalable Verification of Markov Decision Processes., , и . SEFM Workshops, том 8938 из Lecture Notes in Computer Science, стр. 350-362. Springer, (2014)Compositionality for Quantitative Specifications., , , и . FACS, том 8997 из Lecture Notes in Computer Science, стр. 306-324. Springer, (2014)*-Continuous Kleene ω-Algebras., , и . DLT, том 9168 из Lecture Notes in Computer Science, стр. 240-251. Springer, (2015)