Sortiert nach
1st Edition 2017, 2017
Link zum Volltext
1st Edition 2021, 2021
Link zum Volltext
1, 1999
Link zum Volltext
Models, Languages, and Tools for Concurrent and Distributed Programming, p.260-277
Link zum Volltext
From Software Engineering to Formal Methods and Tools, and Back, p.85-109
Link zum Volltext
1, 2017
Link zum Volltext
Software Engineering for Collective Autonomic Systems, p.3-71
Link zum Volltext
2017
Link zum Volltext
ACM computing surveys, 2013-10, Vol.46 (1), p.5
2013
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.479-497
Link zum Volltext
From Data to Models and Back, p.78-90
Link zum Volltext
Coordination Models and Languages, 2020, p.230-239
2020
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355-357
2009
Link zum Volltext
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355
2009
Link zum Volltext
ACM computing surveys, 2014, Vol.46 (1)
2014
Link zum Volltext
Theoretical Computer Science, p.222-235
Link zum Volltext
Software, Services, and Systems, p.619-640
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.132-151
Link zum Volltext
Advances in Model and Data Engineering in the Digitalization Era, p.285-301
Link zum Volltext
Trustworthy Global Computing, p.297-314
Link zum Volltext
ModelEd, TestEd, TrustEd, p.254-275
Link zum Volltext
Performance evaluation review, 2019-01, Vol.46 (2), p.30-32
2019
Link zum Volltext
Fundamentals of Software Engineering, 2019, Vol.11761, p.C1-C1
2019
Link zum Volltext
Coordination Models and Languages, p.152-165
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Software Engineering
- Spatial Logics
- Applied Sciences
- Closure Spaces
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Programming Languages
- Algebra
- Compilers
- Discrete Time Markov Chains
- Model Checking
- Programming Languages, Compilers, Interpreters
- Spatial Model Checking
- Autonomic Computing
- Collective Adaptive Systems
- Computer Logic
- Computer Programming, Programs, Data
- Computers
- Congresses
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- SpringerLink Series
- ACM Digital Library Complete
- IEEE Xplore Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- SpringerNature Journals
- Wiley Online Library All Obooks
- EZB Free E-Journals