This HTML5 document contains 128 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
skoshttp://www.w3.org/2004/02/skos/core#
n10http://en.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://dbpedia.org/resource/ESC/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-commonshttp://commons.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Property_Specification_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Rodin_tool
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Message_sequence_chart
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Meta-IV_(specification_language)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Behavior_of_DEVS
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Behavior_of_coupled_DEVS
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Denotational_semantics
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Algebraic_semantics_(computer_science)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Petri_nets
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:Alloy_(specification_language)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Z_notation
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:DEVS
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Duration_calculus
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Hardware_verification_languages
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:E-LOTOS
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
n8:Java
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Construction_and_Analysis_of_Distributed_Processes
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Maude_system
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:SPARK_(programming_language)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:OBJ_(programming_language)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Object_Constraint_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Eiffel_(programming_language)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:CoreASM
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Operational_semantics
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Common_Algebraic_Specification_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Perfect_Developer
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Petri_net
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Prototype_Verification_System
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Object-Z
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Action_semantics
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Denotational_semantics
skos:broader
dbc:Formal_specification_languages
Subject Item
dbc:Formal_specification_languages
rdf:type
skos:Concept
rdfs:label
Formal specification languages
skos:broader
dbc:Formal_specification dbc:Specification_languages dbc:Mathematical_modeling
skos:prefLabel
Formal specification languages
dbo:wikiPageID
8232469
dbo:wikiPageRevisionID
846975504
owl:sameAs
dbpedia-commons:Formal_specification_languages
dbp:wikiPageUsesTemplate
dbt:Commons
prov:wasDerivedFrom
n10:Formal_specification_languages?oldid=846975504&ns=14
Subject Item
dbr:Timed_event_system
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Language_Of_Temporal_Ordering_Specification
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Larch_family
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:PowerDEVS
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Formal_specification
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Specification_and_Description_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Predicative_programming
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Synchronous_programming_languages
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:Stochastic_Petri_net
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Process_calculi
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:TLA+
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Java_Modeling_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Wright_(ADL)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Z_notation
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Assertion_definition_language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Augmented_marked_graph
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Axiomatic_semantics
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:B-Method
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbc:Temporal_logic
skos:broader
dbc:Formal_specification_languages
Subject Item
dbr:Refinement_calculus
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Rosetta-lang
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Semantics_(computer_science)
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Universal_Systems_Language
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Vector_addition_system
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Vienna_Development_Method
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Nets_within_Nets
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Extended_ML
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:PlusCal
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Event_segment
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:TNSDL
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages
Subject Item
dbr:Rigorous_Approach_to_Industrial_Software_Engineering
dcterms:subject
dbc:Formal_specification_languages
dbo:wikiPageWikiLink
dbc:Formal_specification_languages