"Descriptions of timing in requirements for reactive systems."

Hiromi Kobayashi, Kazuo Tokito (2000)

Details and statistics

DOI: 10.1002/1520-684X(200012)31:14<47::AID-SCJ6>3.0.CO;2-Q

access: closed

type: Journal Article

metadata version: 2023-09-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics