Sortiert nach
International journal on software tools for technology transfer, 2020-06, Vol.22 (3), p.281-296
2020
Link zum Volltext
Fundamental Approaches to Software Engineering, p.297-311
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019, Vol.310 (Proc. F-IDE 2019), p.63-69
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2018, Vol.284 (Proc. F-IDE 2018), p.37-52
2018
Link zum Volltext
IEEE transactions on software engineering, 2017-07, Vol.43 (7), p.615-640
2017
- Link zum Volltext
Software and systems modeling, 2016-07, Vol.15 (3), p.783-810
2016
Link zum Volltext
F1000 research, 2015, Vol.4, p.181-181
2015
Link zum Volltext
Science of computer programming, 2022-08, Vol.220, p.102829, Article 102829
2022
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.303-308
Link zum Volltext
Software and systems modeling, 2015-02, Vol.14 (1), p.5-25
2015
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.307-321
Link zum Volltext
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, p.7249-7254
2020
- Link zum Volltext
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.884-887
2018
- Link zum Volltext
Science of computer programming, 2021-11, Vol.211, p.102690, Article 102690
2021
Link zum Volltext
Rigorous State-Based Methods, p.303-320
Link zum Volltext
Science of computer programming, 2011-06, Vol.76 (6), p.516-539
2011
Link zum Volltext
Software Engineering and Formal Methods, p.288-303
Link zum Volltext
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016, p.4491-4496
2016
- Link zum Volltext
Automated Technology for Verification and Analysis, p.344-362
Link zum Volltext
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017, p.3855-3860
2017
- Link zum Volltext
Mathematics of Program Construction, p.331-352
Link zum Volltext
Rigorous State-Based Methods, p.254-261
Link zum Volltext
Rigorous State-Based Methods, p.212-219
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.805
2016
Link zum Volltext
Rigorous State-Based Methods, 2020, p.318-334
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Alloy
- Software Engineering
- Software
- Computer Science, Artificial Intelligence
- Engineering
- Humans
- Life Sciences & Biomedicine
- Programming Languages
- Model Checking
- Robotics
- Applied Sciences
- Compilers
- Computational Modeling
- Computer Science; Control Theory; Systems
- Engineering, Electrical & Electronic
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Journals@Ovid Complete
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Acta Cirúrgica Brasileira
- Acta Cirurgica Brasileira
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Acta Reumatológica Portuguesa
- Revista Virtual De Química
- Software And Systems Modeling
- Clinical And Experimental Rheumatology
- Clinical Rheumatology
- Current Controlled Trials In Cardiovascular Medicine