search result

Cover von Computer Information Systems and Industrial Management
24th International Conference, CISIM 2025, Fukuoka, Japan, September 11-13, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15927
Media group: MONOGRAPHIE
Cover von Computer Information Systems and Industrial Management
23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14902
Media group: MONOGRAPHIE
Cover von Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14952
Media group: MONOGRAPHIE
Cover von Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14290
Media group: MONOGRAPHIE
Cover von Computer Information Systems and Industrial Management
22nd International Conference, CISIM 2023, Tokyo, Japan, September 22 - 24, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14164
Media group: MONOGRAPHIE
Cover von Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30 - 31, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11687
Media group: MONOGRAPHIE
Cover von Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13487
Media group: MONOGRAPHIE
Cover von Computer Information Systems and Industrial Management
21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15 - 17, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13293
Media group: MONOGRAPHIE
Cover von Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24 - 26, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 12863
Media group: MONOGRAPHIE
Cover von Computer Information Systems and Industrial Management
20th International Conference, CISIM 2021, Elk, Poland, September 24 - 26, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 12883
Media group: MONOGRAPHIE
OPEN V 11.1.0.0