Sortiert nach
Electronic proceedings in theoretical computer science, 2015-03, Vol.178 (Proc. FESCA 2015), p.9-21
2015
Link zum Volltext
The Journal of systems and software, 2018-10, Vol.144, p.314-327
2018
Link zum Volltext
Journal of systems architecture, 2018-05, Vol.85-86, p.28-42
2018
Link zum Volltext
2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018, p.89-96
2018
Link zum Volltext
Information technology and control, 2019-01, Vol.48 (2), p.299-315
2019
Link zum Volltext
Formal Methods and Software Engineering, p.157-173
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-12, Vol.199, p.69-69
2015
Link zum Volltext
Innovations in systems and software engineering, 2010-09, Vol.6 (3), p.181-193
2010
Link zum Volltext
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010, p.145-154
2010
- Link zum Volltext
Formal Methods and Software Engineering, p.303-319
Link zum Volltext
Cyber Physical Systems. Design, Modeling, and Evaluation, 2017, Vol.10107, p.71-86
2017
Link zum Volltext
Software Engineering and Formal Methods, p.61-75
Link zum Volltext
Verification, Induction, Termination Analysis, p.81-101
Link zum Volltext
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017, Vol.2, p.469-474
2017
- Link zum Volltext
2016 IEEE 1st International Workshops on Foundations and Applications of Self Systems (FASW), 2016, p.106-111
2016
Link zum Volltext
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019, p.197-208
2019
Link zum Volltext
2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015, p.472-478
2015
- Link zum Volltext
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2013, p.57-63
2013
- Link zum Volltext
2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.310-314
2010
- Link zum Volltext
System Level Design from HW/SW to Memory for Embedded Systems, p.64-76
Link zum Volltext
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 2019, p.318-325
2019
Link zum Volltext
Central European history, 2004, Vol.37 (4), p.634-634
2004
Link zum Volltext
German studies review, 2003, Vol.XXVI (3), p.659-660
2003
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Adaptation Models
- Semantics
- Automata
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Formal Verification
- Monitoring
- Real-Time Systems
- Self-Adaptive Systems
- Simulink
- Verification
- Analytical Models
- Automation & Control Systems
- Calculus
Kollektion
- IEEE/IET Electronic Library
- Ingenta
- SpringerLink Series
- EZB Free E-Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- Project MUSE - single title subscriptions
- Elsevier ScienceDirect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- De Gruyter eBooks
- ACM Digital Library Complete
- Project MUSE
- Project MUSE
- Nexis Uni
- Literature Online (LION)
- Nature
- Publisher or Other Site
- SpringerLink Journals - AutoHoldings
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- German Studies Review
- Central European History
- Information Technology And Control
- Innovations In Systems And Software Engineering
- Journal Of Systems Architecture
- Nature Communications
- Plasma Physics And Controlled Fusion
- The Journal Of Systems And Software