Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Kim Voellinger"'
Publikováno v:
INDIN
IEEE International Conference on Industrial Informatics-INDIN
IEEE International Conference on Industrial Informatics-INDIN, Jul 2013, Bochum, France
HAL
IEEE International Conference on Industrial Informatics-INDIN
IEEE International Conference on Industrial Informatics-INDIN, Jul 2013, Bochum, France
HAL
International audience; —This paper presents the use of the Frama-C toolkit for the formal verification of a model of train-controlling software against the requirements of the CENELEC norm EN 50128. We also compare our formal approach with traditi
Publikováno v:
2015 3rd International Conference on Model-Driven Engineering & Software Development (MODELSWARD); 2015, pIX-X, 2p
Publikováno v:
Model-Driven Engineering & Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers; 2015, pI-XV, 15p
Autor:
Völlinger, Kim, Reisig, Wolfgang
Publikováno v:
Software Engineering & Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings; 2015, p190-195, 6p
Autor:
Prevosto, Virgile, Burghardt, Jochen, Gerlach, Jens, Hartig, Kerstin, Pohl, Hans, Voellinger, Kim
Publikováno v:
2013 11th IEEE International Conference on Industrial Informatics (INDIN); 2013, p710-715, 6p
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the Europe
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed a
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selec
Autor:
Hossein Hojjat, Mieke Massink
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in thi
Autor:
Jorge A. Pérez, Nobuko Yoshida
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Fed