Sortiert nach
Acta informatica, 2020-10, Vol.57 (3-5), p.323-327
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.1-13
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-11, Vol.196 (Proc. MARS 2015), p.46-60
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.53-65
2017
Volltextzugriff (PDF)
NASA Formal Methods, 2018, Vol.10811, p.157-163
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020-04, Vol.316
2020
Volltextzugriff (PDF)
Software and systems modeling, 2024-04, Vol.23 (2), p.369-401
2024
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, 2004, p.326-341
2004
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.350-361
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2013-03, Vol.9 (1), p.45-56
2013
Volltextzugriff (PDF)
Ad-Hoc, Mobile, and Wireless Networks, 2006, p.128-141
2006
Volltextzugriff (PDF)
Intelligent Tutoring Systems, p.299-309
Volltextzugriff (PDF)
Technology-Enhanced Learning for a Free, Safe, and Sustainable World, 2021, Vol.12884, p.379-383
2021
Volltextzugriff (PDF)
Computer Supported Education, 2019, Vol.1022, p.507-531
2019
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.175-195
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.88-96
2015
Volltextzugriff (PDF)
Proceedings of the 9th Computer Science Education Research Conference, 2020, p.1-6
2020
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.332-350
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.532-548
2015
Volltextzugriff (PDF)
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.151-163
2022
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.387-401
2015
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.418-433
2015
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.96-110
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Artificial Intelligence
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Computer Science, Artificial Intelligence
- Robotics
- Logic
- Science & Technology - Other Topics
- Model Check
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Model Checking
- Static Analysis
- Verification
- Software
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acta Informatica
- Ifac Proceedings Volumes
- Innovations In Systems And Software Engineering
- International Journal On Software Tools For Technology Transfer
- Software And Systems Modeling
Neu hinzugefügt