1
Published 2012
Springer Berlin Heidelberg

3
Published 2012
Springer Berlin Heidelberg
... Automata for Research and Industry, ACRI 2012, held in Santorini Island, Greece, in September 2012. The 88...

4
Published 2016
Springer International Publishing
... Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification...

5
by Reisig, Wolfgang
Published 1998
Springer Berlin Heidelberg
Subjects: ...Mathematical Modeling and Industrial Mathematics...

6
Published 2003
Springer Netherlands
Subjects: ...Industrial organization...

7
by Zhang, Kai
Published 2016
Springer Fachmedien Wiesbaden
Subjects: ...Industrial Chemistry...

8
Published 2013
Springer Berlin Heidelberg
Subjects: ...Mathematical Modeling and Industrial Mathematics...

9
by Jukna, Stasys
Published 2001
Springer Berlin Heidelberg
Subjects: ...Mathematical Modeling and Industrial Mathematics...

10
Published 2008
Springer Berlin Heidelberg
Subjects: ...Mathematical Modeling and Industrial Mathematics...

11
Published 2015
Springer International Publishing
Table of Contents: ... in industry.- Formal analysis support for modeling languages used in industry -- Code generation from...

12
Published 2019
Springer International Publishing
Table of Contents: ... Assessment in Automotive Industry -- AI in Safety Assessment....

13
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- Biomedical and industrial perception applications -- Web intelligence and neuroscience...

14
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- Biomedical and industrial perception applications -- Web intelligence and neuroscience...

15
Published 2024
Springer Nature Switzerland
Table of Contents: ... in the renewable energy industry -- bioinspired applications...

16
Published 1997
Springer Netherlands
Table of Contents: ...Reorganization of High-Tech Industries: Federal and Regional Aspects -- Major Factors of Success...

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Processing -- Signal Processing and Telecommunications -- Computer and Sensor Networks -- Industrial...

18
Published 2017
Springer International Publishing
Table of Contents: ... the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool...

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Development -- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development...

20
by Berstel-Da Silva, Bruno
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... - Specialized Proof Rules -- Chap. 11 - Conclusion -- Appendix A - Verification in an Industrial Business Rules...