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, 2018-07, Vol.159, p.28-57
2018
Volltextzugriff (PDF)
Science of computer programming, 2018-06, Vol.158, p.148-167
2018
Volltextzugriff (PDF)
Science of computer programming, 2014-11, Vol.94, p.93-108
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Abstract State Machines
- Abstraction
- Certification
- Entwurfstechnik
- Fallstudie
- Formal Analysis
- Formal Verification
- Hemodialysis Device
- Hämodialyse
- Information Passing
- Medical Device Software
- Medizinisches Gerät
- Petri Nets
- Real-Time Systems
- Self-Adaptation
- Sicherheitskritisches System