Home › Entities › academia › STATE -- A SystemC to Timed Automata Transformation Engine

STATE -- A SystemC to Timed Automata Transformation Engine

Research article (2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Sof
academia openalex:W2172648107
Press Enter · cited answer in seconds

STATE -- A SystemC to Timed Automata Transformation Engine

Summary

STATE -- A SystemC to Timed Automata Transformation Engine is a scholarly article[1].

Key Facts

  • STATE -- A SystemC to Timed Automata Transformation Engine's instance of is recorded as scholarly article[2].

Related Entities

Sabine Glesner

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). STATE -- A SystemC to Timed Automata Transformation Engine. Retrieved May 24, 2026, from https://4ort.xyz/entity/state-a-systemc-to-timed-automata-transformation-engine
MLA “STATE -- A SystemC to Timed Automata Transformation Engine.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/state-a-systemc-to-timed-automata-transformation-engine.
BibTeX @misc{4ortxyz_state-a-systemc-to-timed-automata-transformation-engine_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{STATE -- A SystemC to Timed Automata Transformation Engine}}, year = {2026}, url = {https://4ort.xyz/entity/state-a-systemc-to-timed-automata-transformation-engine}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): STATE -- A SystemC to Timed Automata Transformation Engine — https://4ort.xyz/entity/state-a-systemc-to-timed-automata-transformation-engine (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/state-a-systemc-to-timed-automata-transformation-engine · Last refreshed: