Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Science of computer programming, 2014-04, Vol.83, p.35-55
2014
Volltextzugriff (PDF)
Science of computer programming, 2010-10, Vol.75 (10), p.811-827
2010
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2017, Vol.10522, p.132-147
2017
Volltextzugriff (PDF)
International journal of materials, mechanics and manufacturing, 2015-02, Vol.7 (1), p.47-69
2015
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2013, Vol.8161, p.51-65
2013
Volltextzugriff (PDF)
Fundamentals of Software Engineering, p.351-358
Volltextzugriff (PDF)
Coordination Models and Languages, p.74-88
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2010-12, Vol.10 (2), p.1-35
2010
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.296-312
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2010-12, Vol.10 (2)
2010
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2010-01, Vol.260, p.209-224
2010
Volltextzugriff (PDF)
2008 8th International Conference on Application of Concurrency to System Design, 2008, p.56-61
2008
Volltextzugriff (PDF)
International Journal of Computer and Electrical Engineering, 2015, Vol.7 (1), p.47-69
2015
Volltextzugriff (PDF)
2013
Volltextzugriff (PDF)
2012 IEEE 36th Annual Computer Software and Applications Conference, 2012, p.680-689
2012
Volltextzugriff (PDF)
Clinical and experimental pharmacology & physiology, 2019-08, Vol.46 (8), p.711-722
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Model Checking
- Computer Science, Theory & Methods
- Product Family
- Rebeca
- Software Product Line
- Actor Model
- Actor-Based Languages
- Mathematical Models
- Model Check
- Object Oriented Modeling
- Reduction
- Slicing
- Software
- Software Product Lines
- Systemc Verification
- Verification
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Springer Book Series (Lecture Notes)
- Elsevier ScienceDirect Journals Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- IEEE Xplore
- Wiley-Blackwell Journals
- Wiley Online Library Full Collection 2018
- Ovid SocietyJournals and Single Titles
Zeitschrift / Serie