About: PAT

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: PAT Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator.

Attributes	Values
rdfs:comment	PAT (Process Analysis Toolkit) is a self-contained framework for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator.
foaf:name	PAT
foaf:homepage	http://www.patroot.com/
computing platform	.NET Framework
developer	National University of Singapore
genre	dbpedia:Model_checking
language	English German Japanese Vietnamese dbpedia:Simplified_Chinese_characters dbpedia:Traditional_Chinese_characters
latest release version	3.5.1
operating system	Unix Microsoft Windows dbpedia:OS_X Linux (no automatically included version)

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software