Sortiert nach
IEEE access, 2020, Vol.8, p.112598-112614
2020
Link zum Volltext
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.179-194
2018
Link zum Volltext
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.385-403
2022
Link zum Volltext
Innovations in systems and software engineering, 2023, Vol.19 (2), p.227-229
2023
Link zum Volltext
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics), 2014, p.1-10
2014
Link zum Volltext
Coordination Models and Languages, p.247-267
Link zum Volltext
The Journal of systems and software, 2023-02, Vol.196, p.111556, Article 111556
2023
Link zum Volltext
Formal aspects of computing, 2018, Vol.30 (1), p.45-75
2018
Link zum Volltext
IEEE transactions on multi-scale computing systems, 2018-07, Vol.4 (3), p.243-259
- Castrillon, Jeronimo
- Frohlich, Jochen
- Goens, Andres
- Haas, Sebastian
- Habich, Dirk
- Hartig, Hermann
- Hasler, Mattis
- Huismann, Immo
- Karnagel, Tomas
- Karol, Sven
- Kumar, Akash
- Lieber, Matthias
- Lehner, Wolfgang
- Leuschner, Linda
- Ling, Siqi
- Marcker, Steffen
- Menard, Christian
- Mey, Johannes
- Nagel, Wolfgang
- Nothen, Benedikt
- Penaloza, Rafael
- Raitza, Michael
- Kluppelholz, Sascha
- Stiller, Jorg
- Ungethum, Annett
- Voigt, Axel
- Wunderlich, Sascha
- Volp, Marcus
- Asmussen, Nils
- Assmann, Uwe
- Baader, Franz
- Baier, Christel
- Fettweis, Gerhard
2018
- Link zum Volltext
Automated Technology for Verification and Analysis, p.323-339
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-11, Vol.102 (Proc. SSV 2012), p.156-166
2012
Link zum Volltext
International journal on software tools for technology transfer, 2019-12, Vol.21 (6), p.651-666
2019
Link zum Volltext
Models, Algorithms, Logics and Tools, p.382-399
Link zum Volltext
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics), 2014, p.1-10
2014
Link zum Volltext
Transactions on Aspect-Oriented Software Development XII, p.180-220
Link zum Volltext
Acta informatica, 2015-06, Vol.52 (4-5), p.443-482
2015
Link zum Volltext
It's All About Coordination, 2018, Vol.10865, p.38-56
2018
Link zum Volltext
Computer Performance Engineering, p.19-34
Link zum Volltext
NASA Formal Methods, p.285-299
Link zum Volltext
Automated Technology for Verification and Analysis, p.15-31
Link zum Volltext
Science of computer programming, 2009-07, Vol.74 (9), p.688-701
2009
Link zum Volltext
Software Engineering and Formal Methods, p.361-375
Link zum Volltext
Science of computer programming, 2010-06, Vol.75 (6), p.398-425
2010
Link zum Volltext
Journal of computer and system sciences, 2015-02, Vol.81 (1), p.258-287
2015
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.269-285
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Model Check
- Markov Decision Process
- Probabilistic Model Checking
- Computer Science, Information Systems
- Linear Temporal Logic
- Model Checking
- Atomic Proposition
- Logic
- Markov Chain
- Probabilistic Models
- Science & Technology - Other Topics
- Reward Function
- Software Engineering
- Theory Of Computation
- Computer Science, Hardware & Architecture
Kollektion
- Ingenta
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Innovations In Systems And Software Engineering
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Ieee Access
- Ieee Transactions On Multi-Scale Computing Systems
- Journal Of Computer And System Sciences