Sortiert nach
J.UCS (Annual print and CD-ROM archive ed.), 2024-04, Vol.30 (4), p.462-501
2024
Volltextzugriff (PDF)
International journal of advanced robotic systems, 2018-07, Vol.15 (4), p.172988141878665
2018
Volltextzugriff (PDF)
Software and systems modeling, 2024-08
2024
Volltextzugriff (PDF)
Journal of computer and system sciences, 2024-09, Vol.144, p.103544, Article 103544
2024
Volltextzugriff (PDF)
Information processing letters, 2019-06, Vol.146, p.35-38
2019
Volltextzugriff (PDF)
Acta informatica, 2023-06, Vol.60 (2), p.145-178
2023
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.36-53
Volltextzugriff (PDF)
Science of computer programming, 2018-02, Vol.153, p.1-29
2018
Volltextzugriff (PDF)
Active Object Languages: Current Research Trends, 2024, p.226-260
2024
Volltextzugriff (PDF)
Science of computer programming, 2014-04, Vol.83, p.35-55
2014
Volltextzugriff (PDF)
Formal aspects of computing, 2017-11, Vol.29 (6), p.1051-1086
2017
Volltextzugriff (PDF)
Science of computer programming, 2023-01, Vol.225, p.102908, Article 102908
2023
Volltextzugriff (PDF)
Acta informatica, 2019-03, Vol.56 (2), p.161-203
2019
Volltextzugriff (PDF)
2014 21st Asia-Pacific Software Engineering Conference, 2014, Vol.1, p.63-70
2014
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.260-279
Volltextzugriff (PDF)
2015 Asia-Pacific Software Engineering Conference (APSEC), 2015, p.222-229
2015
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.17-35
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2023, Vol.14155, p.72-87
2023
Volltextzugriff (PDF)
Science of computer programming, 2015-02, Vol.98, p.184-204
2015
Volltextzugriff (PDF)
2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013, Vol.1, p.331-338
2013
Volltextzugriff (PDF)
Formal Aspects of Component Software, 2016, p.210-227
2016
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.10-14
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Model Checking
- Computer Science, Information Systems
- Verification
- Actor Model
- Software Engineering
- Software Product Line
- Timed Rebeca
- Rebeca
- Software
- Engineering
- Model Check
- Algorithms
- Computer Science, Artificial Intelligence
- Engineering, Electrical & Electronic
- Formal Methods
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Xplore
- ACM Digital Library Complete
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Online Journals
- IngentaConnect Journals
- SAGE Journals
- Single Journals
Zeitschrift / Serie
- Science Of Computer Programming
- Information Processing Letters
- Acta Informatica
- Software And Systems Modeling
- Formal Aspects Of Computing
- International Journal Of Advanced Robotic Systems
- International Journal Of Materials, Mechanics And Manufacturing
- J.Ucs
- Journal Of Computer And System Sciences
- Journal Of Universal Computer Science
Neu hinzugefügt