Search Results - "computer systems"

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M.

Subjects: “…modeling computational systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Subjects: “…Computer Systems Organization and Communication Networks…”
DOAB: download the publication
DOAB: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Subjects: “…Computer Systems Organization and Communication Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

Subjects: “…Computer system failures…”
DOAB: download the publication
DOAB: description of the publication

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

Subjects: “…Computer system failures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…computer systems…”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…computer systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer Systems Organization and Communication Networks…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer Systems Organization and Communication Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication