Steffen, Bernhard.

概要

作品:	1 作品在 21 項出版品 1 種語言

書目資訊

Correct system design = recent insights and advances / by: Steffen, Bernhard.; SpringerLink (Online service); Olderog, E.-R. (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2021 :) (書目-電子資源)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: Steffen, Bernhard.; SpringerLink (Online service); TACAS '98 ((1998 :); ETAPS '98 ((1998 :) (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I/ by: Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (書目-語言資料,印刷品)

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings / by: Steffen, Bernhard.; SpringerLink (Online service); AISoLA (Conference) (2023 :) (書目-電子資源)

Leveraging applications of formal methods, verification and validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II/ by: Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (書目-語言資料,印刷品)

Leveraging applications of formal methods, verification and validation = specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part II / by: Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (書目-電子資源)

主題

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Computer Science, general. Data Structures and Information Theory. Artificial intelligence Logics and Meanings of Programs. Computer software- Validation Robots- Programming Logic, Symbolic and mathematical. Mathematics of Computing. Software Engineering/Programming and Operating Systems. Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Management of Computing and Information Systems. Programming Techniques. Algorithm Analysis and Problem Complexity. Information Systems Applications (incl. Internet) Mathematical Applications in Computer Science. Control Structures and Microprogramming. Artificial intelligence- Moral and ethical aspects System design- Congresses. Computer systems- Reliability. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Computer software- Development. Computer software- Verification. Information Storage and Retrieval. Software engineering. Special Purpose and Application-Based Systems. Computer Science Logic and Foundations of Programming. Data Mining and Knowledge Discovery. Computer Engineering and Networks. Information Systems Applications (incl.Internet) Machine learning Computer science Computer science- Mathematics. Artificial Intelligence. Formal Languages and Automata Theory. Computer software- Development Computer Science. Computer Communication Networks. Computer software- Verification Simulation and Modeling. Computer science. System Performance and Evaluation. Computer System Implementation. Blockchains (Databases) Computer programs- Verification System design. Computer Applications.