Sortiert nach
Lecture notes in computer science, 2004, Vol.3098
1, 2004
Link zum Volltext
Informatik-Spektrum, 2020, Vol.43 (4), p.262-271
2020
Link zum Volltext
IEEE access, 2016, Vol.4, p.4104-4118
2016
Link zum Volltext
International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.659-673
2023
Link zum Volltext
Acta informatica, 2019-04, Vol.56 (3), p.229-253
2019
Link zum Volltext
Computing, 2017-02, Vol.99 (2), p.127-127
2017
Link zum Volltext
Informatik-Spektrum, 2014, Vol.37 (3), p.172-190
2014
Link zum Volltext
Informatik-Spektrum, 2014, Vol.37 (3), p.165-167
2014
Link zum Volltext
Informatik-Spektrum, 2010-10, Vol.33 (5), p.514-538
2010
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.171-188
Link zum Volltext
Software and systems modeling, 2013-02, Vol.12 (1), p.5-9
2013
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, p.65-81
Link zum Volltext
Software and systems modeling, 2015-05, Vol.14 (2), p.669-683
2015
Link zum Volltext
Formal Methods for Open Object-Based Distributed Systems, 2005, p.243-258
2005
Link zum Volltext
Journal of functional programming, 2017-01, Vol.27, Article e22
2017
Link zum Volltext
Lecture notes in computer science, 2006, p.65-83
2006
Link zum Volltext
Applications and Theory of Petri Nets, p.23-42
Link zum Volltext
Lecture notes in computer science, 2001, p.287-297
2001
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Petri Nets
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Communication Networks
- Computer Networks
- Computer Science, Software Engineering
- Software Engineering
- Theoretical Computing
- Software Engineering/programming And Operating Systems
- Computer Communication Systems
- Computers
- Theory Of Computation
- Computer Hardware
- Computer Science, Information Systems
- Congresses
Kollektion
- Ingenta
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Springer Books
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- IEEE Xplore
- Thieme Connect (journals)
Zeitschrift / Serie