Cover Image
Read Now

41
Published 2012
Springer Berlin Heidelberg
“... for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were...”
Cover Image
Read Now

42
Published 2013
Springer Berlin Heidelberg
“... in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised...”
Cover Image
Read Now

43
Published 2008
Springer Berlin Heidelberg
Cover Image
Read Now

44
Published 2017
Springer International Publishing
Table of Contents: “... retrieval.-Engineering of enterprise software products -- Industrial management and other applications...”
Cover Image
Read Now

45
Published 2016
Springer International Publishing
“... Information Systems and Industrial Management, CISIM 2016, held in Vilnius, Lithuania, in September 2016...”
Cover Image
Read Now

46
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Introduction -- DEPLOY Integrated Project -- Experience of Deployment in the Automotive Industry...”
Cover Image
Read Now

47
Published 2023
Springer Nature Switzerland
“... International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2020, held...”
Cover Image
Read Now

48
Published 2021
Springer International Publishing
Table of Contents: “... and Security -- ICBAKE 2021 Workshop -- Industrial Management and other Applications -- Machine Learning...”
Cover Image
Read Now

49
Published 2022
Springer International Publishing
Table of Contents: “... -- Industrial Management and other Applications -- Machine Learning and Artificial Neural Networks -- Modelling...”
Cover Image
Read Now

50
Published 2021
Springer International Publishing
Table of Contents: “... in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT...”
Cover Image
Read Now

51
Published 2023
Springer Nature Switzerland
“... involving innovative methods, software and hardware, whereby intelligent systems are applied to industrial...”
Cover Image
Read Now

52
Published 2023
Springer Nature Switzerland
Table of Contents: “... of Flipped Learning in Engineering Education of India -- Hybrid Recommender System Model for Tourism Industry...”
Cover Image
Read Now

53
Published 2023
Springer Nature Switzerland
“... for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full...”
Cover Image
Read Now

54
Published 2019
Springer International Publishing
“... in designing secure and resilient Industrial Control Systems (ICS). It will discuss today's state of the art...”
Cover Image
Read Now

55
Published 2020
Springer International Publishing
Table of Contents: “... for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection...”
Cover Image
Read Now

56
Published 2022
Springer Nature Singapore
Table of Contents: “... And Apparel Industry -- The Future of Block-Chain For Wastewater Treatment in the Textiles Industry...”
Cover Image
Read Now

57
Published 2022
Springer International Publishing
Table of Contents: “... Validation Documents -- Deductive Verification of Smart Contracts with Dafny -- Industrial use cases...”
Cover Image
Read Now

58
Published 1990
Springer Netherlands
Table of Contents: “... Control in Industries: Electric Power Systems -- 11 Status Report on Real Time Control in Steel Industry...”
Cover Image
Read Now

59
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...: Industrial usage -- Automating the generation and sequencing of test cases from model-based specifications...”
Cover Image
Read Now

60
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... program development -- Combining the design of industrial systems with effective verification techniques...”