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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23http://dbpedia.org/resource/File:
n20http://www.hutonggames.com/
n18http://dbpedia.org/resource/Input/
n21https://global.dbpedia.org/id/
n17https://onlinelibrary.wiley.com/doi/abs/10.1002/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n10http://
n7http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://www.stateworks.com/active/download/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Index_of_software_engineering_articles
dbo:wikiPageWikiLink
dbr:Virtual_finite-state_machine
Subject Item
dbr:Finite-state_machine
dbo:wikiPageWikiLink
dbr:Virtual_finite-state_machine
Subject Item
dbr:Virtual_finite-state_machine
rdf:type
yago:WikicatModelsOfComputation yago:Model110324560 yago:Assistant109815790 yago:CausalAgent100007347 yago:Organism100004475 yago:Object100002684 yago:Whole100003553 yago:Person100007846 yago:Worker109632518 yago:YagoLegalActor dbo:Software yago:YagoLegalActorGeo yago:PhysicalEntity100001930 yago:LivingThing100004258
rdfs:label
Virtueller endlicher Automat Virtual finite-state machine
rdfs:comment
Ein endlicher Automat, definiert in virtueller Umgebung, heißt virtueller endlicher Automat (englisch virtual finite state machine, VFSM). VFSM ist eine Spezifikationstechnik, eingesetzt, um das Verhalten von logischen Systemen mit Hilfe von Eingabe-Steuerungseigenschaften und Ausgabe-Aktionen zu beschreiben. VFSM führt ein Logik-Ausführungsmodell ein und ermöglicht die Realisierung einer ausführbaren Spezifikation. Diese Technologie wird hauptsächlich in komplexen Maschinensteuerungen, Messtechnik und Telekommunikationsanwendungen eingesetzt. A virtual finite-state machine (VFSM) is a finite-state machine (FSM) defined in a . The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and output actions. The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation, and telecommunication applications.
foaf:depiction
n7:Virtual_finite_state_machine_executor_flow_chart.gif n7:Virtual_finite_state_machine_executor_in_the_virtual_environment.gif
dcterms:subject
dbc:Models_of_computation
dbo:wikiPageID
1296085
dbo:wikiPageRevisionID
1005635038
dbo:wikiPageWikiLink
dbr:State_variable dbr:Mutually_exclusive dbr:Finite-state_machine dbr:Disjunctive_normal_form n18:output dbr:Set_(abstract_data_type) dbr:Hierarchical_control_system dbr:Unity_(game_engine) dbr:Virtual_machine dbr:Runtime_environment dbr:Combinatorics n23:Virtual_finite_state_machine_executor_flow_chart.gif n23:Virtual_finite_state_machine_executor_in_the_virtual_environment.gif dbr:Telecommunication dbr:Boolean_algebra dbr:Control_(optimal_control_theory) dbr:State_transition dbr:Formal_specification dbr:Instrumentation_(computer_programming) dbr:State_(computer_science) dbr:UML_state_machine dbc:Models_of_computation dbr:Complement_(set_theory) dbr:Machine_control dbr:Virtualization dbr:Many-valued_logic dbr:Boolean_data_type dbr:Subset dbr:Execution_model
dbo:wikiPageExternalLink
n4:wagf03-2-modeling-reliable-software.pdf n4:wagf04-2-state-machine-misunderstandings.pdf n4:wagf92-software-engineering.pdf n10:www.stateworks.com n17:bltj.2035 n20:index.html n4:wagf04-1-software-modelling.pdf n4:XML-VFSM-ML.pdf n4:wagf03-1-real-time-software-design.pdf
owl:sameAs
yago-res:Virtual_finite-state_machine wikidata:Q2528011 freebase:m.04qs0m n21:2Nwv9 dbpedia-de:Virtueller_endlicher_Automat
dbp:wikiPageUsesTemplate
dbt:Further dbt:ISBN
dbo:thumbnail
n7:Virtual_finite_state_machine_executor_in_the_virtual_environment.gif?width=300
dbo:abstract
Ein endlicher Automat, definiert in virtueller Umgebung, heißt virtueller endlicher Automat (englisch virtual finite state machine, VFSM). VFSM ist eine Spezifikationstechnik, eingesetzt, um das Verhalten von logischen Systemen mit Hilfe von Eingabe-Steuerungseigenschaften und Ausgabe-Aktionen zu beschreiben. VFSM führt ein Logik-Ausführungsmodell ein und ermöglicht die Realisierung einer ausführbaren Spezifikation. Diese Technologie wird hauptsächlich in komplexen Maschinensteuerungen, Messtechnik und Telekommunikationsanwendungen eingesetzt. A virtual finite-state machine (VFSM) is a finite-state machine (FSM) defined in a . The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and output actions. The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation, and telecommunication applications.
gold:hypernym
dbr:Machine
prov:wasDerivedFrom
wikipedia-en:Virtual_finite-state_machine?oldid=1005635038&ns=0
dbo:wikiPageLength
10129
foaf:isPrimaryTopicOf
wikipedia-en:Virtual_finite-state_machine
Subject Item
dbr:VFSM
dbo:wikiPageWikiLink
dbr:Virtual_finite-state_machine
dbo:wikiPageRedirects
dbr:Virtual_finite-state_machine
Subject Item
dbr:Vfsm
dbo:wikiPageWikiLink
dbr:Virtual_finite-state_machine
dbo:wikiPageRedirects
dbr:Virtual_finite-state_machine
Subject Item
dbr:Virtual_finite_state_machine
dbo:wikiPageWikiLink
dbr:Virtual_finite-state_machine
dbo:wikiPageRedirects
dbr:Virtual_finite-state_machine
Subject Item
wikipedia-en:Virtual_finite-state_machine
foaf:primaryTopic
dbr:Virtual_finite-state_machine