Sortiert nach
1. Aufl., 2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.308 (Proc. CREST 2019), p.47-65
2019
Volltextzugriff (PDF)
European journal of control, 2012, Vol.18 (3), p.217-238
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229 (Proc. SYNT 2016), p.21-34
2016
Volltextzugriff (PDF)
Informatik-Spektrum, 2017-10, Vol.40 (5), p.400-408
2017
Volltextzugriff (PDF)
Informatik-Spektrum, 2017-01, Vol.40 (5), p.400-408
2017
Volltextzugriff (PDF)
1987th edition, 2013
Volltextzugriff (PDF)
1. Aufl. 2018 edition., 2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.257, p.1-2
2017
Volltextzugriff (PDF)
2018 IEEE/ACM 1st International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS), 2018, p.39-46
2018
Volltextzugriff (PDF)
Applicable Formal Methods for Safe Industrial Products, p.180-201
Volltextzugriff (PDF)
Science of computer programming, 2005-03, Vol.55 (1), p.81-115
2005
Volltextzugriff (PDF)
FM 2015: Formal Methods, p.18-19
Volltextzugriff (PDF)
2007th edition, 2007
Volltextzugriff (PDF)
Principles of Modeling, 2018, Vol.10760, p.182-205
2018
Volltextzugriff (PDF)
Computer Aided Verification, p.519-531
Volltextzugriff (PDF)
FM 2014: Formal Methods, p.179-193
Volltextzugriff (PDF)
Science of computer programming, 2017-11, Vol.148, p.123-160
2017
Volltextzugriff (PDF)
Cyber-physical systems, 2019-07, Vol.5 (3), p.145-172
2019
Volltextzugriff (PDF)
ACM transactions on cyber-physical systems, 2024-01, Vol.8 (1), p.1-32, Article 2
- Damm, Werner
- Hess, David
- Schweda, Mark
- Sztipanovits, Janos
- Bengler, Klaus
- Biebl, Bianca
- Fränzle, Martin
- Hagemann, Willem
- Held, Moritz
- Ihme, Klas
- Kacianka, Severin
- Kerscher, Alyssa J.
- Lehnhoff, Sebastian
- Luedtke, Andreas
- Pretschner, Alexander
- Rakow, Astrid
- Rieger, Jochem
- Sonntag, Daniel
- Schwammberger, Maike
- Austel, Benedikt
- Unni, Anirudh
- Veith, Eric
2024
Volltextzugriff (PDF)
ACM transactions on cyber-physical systems, 2024-01, Vol.8 (1), p.1-27, Article 3
- Bengler, Klaus
- Damm, Werner
- Luedtke, Andreas
- Jochem, Reiger
- Austel, Benedikt
- Biebl, Bianca
- Fränzle, Martin
- Hagemann, Willem
- Held, Moritz
- Hess, David
- Ihme, Klas
- Kacianka, Severin
- Kerscher, Alyssa J.
- Forrest, Laine
- Lehnhoff, Sebastian
- Pretschner, Alexander
- Rakow, Astrid
- Sonntag, Daniel
- Sztipanovits, Janos
- Schwammberger, Maike
- Schweda, Mark
- Unni, Anirudh
- Veith, Eric
2024
Volltextzugriff (PDF)
ACM transactions on cyber-physical systems, 2024-01, Vol.8 (1), p.1-23, Article 4
- Damm, Werner
- Fränzle, Martin
- Kerscher, Alyssa J.
- Laine, Forrest
- Bengler, Klaus
- Biebl, Bianca
- Hagemann, Willem
- Held, Moritz
- Hess, David
- Ihme, Klas
- Kacianka, Severin
- Lehnhoff, Sebastian
- Luedtke, Andreas
- Pretschner, Alexander
- Rakow, Astrid
- Rieger, Jochem
- Sonntag, Daniel
- Sztipanovits, Janos
- Schwammberger, Maike
- Schweda, Mark
- Trende, Alexander
- Unni, Anirudh
- Veith, Eric
2024
Volltextzugriff (PDF)
Science of computer programming, 2012-09, Vol.77 (10-11), p.1122-1150
2012
Volltextzugriff (PDF)
Mathematical structures in computer science, 2013-08, Vol.23 (4), p.676-725
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Software Engineering
- Model Check
- Life Sciences & Biomedicine
- Temporal Logic
- Physical Sciences
- Engineering
- Hybrid Automaton
- Hybrid System
- Safety Property
- Computer Science, Hardware & Architecture
- Linear Temporal Logic
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Ovid Full Text
- IngentaConnect Journals
- Wiley Online Library All Journals
- IEEE Xplore
- MEDLINE
- Wiley Online Library Full Collection 2018
- De Gruyter journals
- Single Journals
- Taylor & Francis:Master (3349 titles)
- Oxford Journals Current Collection
Zeitschrift / Serie
- Integration Of Software Specification Techniques For Applications In Engineering
- Lecture Notes In Computer Science
- Science Of Computer Programming
- Acm Transactions On Cyber-Physical Systems
- Informatik-Spektrum
- Cheminform
- Clinical And Experimental Immunology
- Electronic Proceedings In Theoretical Computer Science
- European Food Research & Technology
- Fresenius' Zeitschrift Für Analytische Chemie