h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

A Compositional Semantics of Boolean-Logic Driven Markov Processes

; ;

In
IEEE transactions on dependable and secure computing : TDSC 21(2), Seiten/Artikel-Nr.:701-716

ImpressumNew York, NY : IEEE

ISSN1941-0018

Date of Publication: 24 March 2023

Online
DOI: 10.1109/TDSC.2023.3261270


Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
  2. Profilbereich Information & Communication Technology (ICT) (080017)
  3. Fachgruppe Informatik (120000)


Thematische Einordnung (Klassifikation)
DDC: 620


Dokumenttyp
Journal Article

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85151544098
WOS Core Collection: WOS:001184911600027

Interne Identnummern
RWTH-2025-02069
Datensatz-ID: 1005875

Beteiligte Länder
France, Germany

 GO

Medline ; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Essential Science Indicators ; IF >= 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Central and Other Institutions
Public records
Publications database
120000
121310
080017
 Record created 2025-03-07, last modified 2025-06-07
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)