Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Medientyp: Elektronischer Konferenzbericht
Titel: Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Beteiligte: Heußner, Alexander [Verfasser:in]; Poskitt, Christopher M. [Verfasser:in]; Corrodi, Claudio [Verfasser:in]; Morandi, Benjamin [Verfasser:in]
Erschienen: Open Publishing Association, 2015
Erschienen in: Electronic Proceedings in Theoretical Computer Science, 181
Sprache: Englisch
DOI: https://doi.org/20.500.11850/99999; https://doi.org/10.3929/ethz-a-010415005; https://doi.org/10.4204/EPTCS.181
Schlagwörter: computer science ; VERIFICATION (SOFTWARE ENGINEERING) ; OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS) ; VERIFIKATION (SOFTWARE ENGINEERING) ; PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS) ; OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ; PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME) ; Data processing
Entstehung:
Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung: ISSN:2075-2180
Zugangsstatus: Freier Zugang

Nur in Feld suchen: