About: Signal automaton

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Field of computer science

Property	Value
dbo:description	field of computer science (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Signal_automaton_ensu...least_once_by_time_unit.png?width=300
dbo:wikiPageWikiLink	dbr:Finite_set dbr:Automata_theory dbc:Automata_(computation) dbr:Bipartite_graph dbr:Timed_automaton dbr:Computer_science dbr:Zone_(convex_polytope) dbr:Clock_(model_checking) dbr:Signal_(model_checking) dbr:Timed-word dbr:Büchi_automata dbr:Finite_automata dbr:Finite_automaton dbr:Powerset dbr:File:A_bipartite_signal_automaton_ensu...ly_and_at_least_once_by_time_unit.png dbr:File:Signal_automaton_ensuring_A_holds...ly_and_at_least_once_by_time_unit.png
dbp:wikiPageUsesTemplate	dbt:Short_description
dct:subject	dbc:Automata_(computation)
rdfs:label	Signal automaton (en)
owl:sameAs	wikidata:Signal automaton dbpedia-global:Signal automaton dbr:Signal automaton
prov:wasDerivedFrom	wikipedia-en:Signal_automaton?oldid=1237408757&ns=0
foaf:depiction	wiki-commons:Special:FilePath/A_bipartite_signal_au...ly_and_at_least_once_by_time_unit.png wiki-commons:Special:FilePath/Signal_automaton_ensu...ly_and_at_least_once_by_time_unit.png
foaf:isPrimaryTopicOf	wikipedia-en:Signal_automaton
is dbo:wikiPageWikiLink of	dbr:Region_(model_checking) dbr:Hybrid_automaton dbr:Clock_(model_checking) dbr:Metric_interval_temporal_logic dbr:Signal_(model_checking)
is foaf:primaryTopic of	wikipedia-en:Signal_automaton

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International