Matches in SemOpenAlex for { <https://semopenalex.org/work/W302500868> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W302500868 abstract "Abstract : This document describes how to use the Modechart Toolset (MT). MT is a set of tools designed to facilitate the specification, modeling, and analysis of real-time embedded systems using the Modechart language. MT supports the creation, modification, and storage of Modechart specifications. It also supports the analysis of Modechart specifications via a consistency and completeness checker, a simulator and a verifier. Modechart Toolset(MT), Simulation, Verification, Real-time systems consistency and completeness." @default.
- W302500868 created "2016-06-24" @default.
- W302500868 creator A5016709065 @default.
- W302500868 creator A5056247747 @default.
- W302500868 creator A5057445351 @default.
- W302500868 date "1994-02-14" @default.
- W302500868 modified "2023-10-01" @default.
- W302500868 title "Modechart Toolset User's Guide" @default.
- W302500868 doi "https://doi.org/10.21236/ada276640" @default.
- W302500868 hasPublicationYear "1994" @default.
- W302500868 type Work @default.
- W302500868 sameAs 302500868 @default.
- W302500868 citedByCount "12" @default.
- W302500868 countsByYear W3025008682014 @default.
- W302500868 crossrefType "report" @default.
- W302500868 hasAuthorship W302500868A5016709065 @default.
- W302500868 hasAuthorship W302500868A5056247747 @default.
- W302500868 hasAuthorship W302500868A5057445351 @default.
- W302500868 hasConcept C41008148 @default.
- W302500868 hasConceptScore W302500868C41008148 @default.
- W302500868 hasLocation W3025008681 @default.
- W302500868 hasOpenAccess W302500868 @default.
- W302500868 hasPrimaryLocation W3025008681 @default.
- W302500868 hasRelatedWork W2096946506 @default.
- W302500868 hasRelatedWork W2130043461 @default.
- W302500868 hasRelatedWork W2350741829 @default.
- W302500868 hasRelatedWork W2358668433 @default.
- W302500868 hasRelatedWork W2376932109 @default.
- W302500868 hasRelatedWork W2382290278 @default.
- W302500868 hasRelatedWork W2390279801 @default.
- W302500868 hasRelatedWork W2748952813 @default.
- W302500868 hasRelatedWork W2899084033 @default.
- W302500868 hasRelatedWork W3004735627 @default.
- W302500868 isParatext "false" @default.
- W302500868 isRetracted "false" @default.
- W302500868 magId "302500868" @default.
- W302500868 workType "report" @default.