Dynamic scheduling and fault-tolerance: Specification and verification
type: Item
instance of: scholarly article
title: Dynamic scheduling and fault-tolerance: Specification and verification
zbMATH Open document ID: 0963.68016
DOI: 10.1023/A:1026537232278
author: Tomasz Janowski
author: Mathai Joseph
published in: Real-Time Systems
publication date: 2001-02-18T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1565427
zbMATH Keywords: real-time distributed systems
zbMATH Keywords: provable fault-tolerance
zbMATH Keywords: provable schedulability
zbMATH Keywords: timed process algebra
zbMATH Keywords: timed modal logic
zbMATH Keywords: distributed real-time program
MaRDI profile type: Publication
full work available at URL: a:1026537232278
OpenAlex ID: W1518769161
Wikidata QID: Q58894996
description: scientific article; zbMATH DE number 1565427