Time4sys2imi: a tool to formalize real-time system models under uncertainty

DOI10.1007/978-3-030-32505-3_7MaRDI QIDQ2279117zbMATH OpenOpenAlexFDO

Authors Étienne André, Jawher Jerray, Sahar Mhiri

Publication date 12 December 2019

Full work available at URL https://arxiv.org/abs/1907.13447

zbMATH Keywords

model checkingparameter synthesisparametric timed automatareal-time systemsscheduling

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(1)

• Time4sys2imi

Describes a project that uses

Uses Software

• IMITATOR
• Uppaal
• Cheddar

This page was built for publication: Time4sys2imi: a tool to formalize real-time system models under uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279117)