Work

A timed automata semantics for real-time UML specifications

Year: 2002

Type: conference-paper

Source: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

DOI: 10.1109/hcc.2001.995243

Authors: H. Toetenel, E. Roubtsova, J. van Katwijk

Institutions: Delft University of Technology, Eindhoven University of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1908616852

FWCI: 0.708

Cites: 15

Cited by: 7

Related to: 10