Sortiert nach
Fundamentals of Software Engineering, 2019, Vol.11761
2019
Link zum Volltext
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Coordination Models and Languages, 2017, Vol.10319
2017
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Fundamentals of Software Engineering, 2019, Vol.11761
2019
Link zum Volltext
Interactive Systems. Design, Specification, and Verification, p.264-264
Link zum Volltext
Formal Methods for Industrial Critical Systems, 2012, p.179-203
2012
Link zum Volltext
Fundamentals of Software Engineering, 2019, Vol.11761
2019
Link zum Volltext
The journal of logic and algebraic programming, 2009-04, Vol.78 (4), p.191-232
2009
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Formal aspects of computing, 1999-12, Vol.11 (6), p.637-664
1999
Link zum Volltext
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.98-115
2022
Link zum Volltext
Fundamentals of Software Engineering, 2019, Vol.11761
2019
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Proceedings of the 27th international conference on software engineering, 2005, p.596-603
2005
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Coordination Models and Languages, 2017, Vol.10319
2017
Link zum Volltext
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Coordination Models and Languages, 2017, Vol.10319
2017
Link zum Volltext
CHI '00 Extended Abstracts on human factors in computing systems, 2000, p.364-364
2000
Link zum Volltext
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
1, 2017
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Spatial Logics
- Programming Languages
- Closure Spaces
- Model Checking
- Algebra
- Compilers
- Discrete Time Markov Chains
- Formal Semantics
- Mathematics
- Programming Languages, Compilers, Interpreters
- Software
- Spatial Model Checking
- Theoretical Computing
- Verification
- Autonomic Computing
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Springer Nature - Complete Springer Journals
- EBSCOhost Business Source Ultimate
- Wiley Online Library All Obooks
Zeitschrift / Serie
- The Journal Of Logic And Algebraic Programming
- Acm Computing Surveys
- Electronic Proceedings In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Theoretical Computer Science
- Acm Sigmetrics Performance Evaluation Review
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Performance Evaluation Review
- Science Of Computer Programming