Search results for "temporal logic formalism"

Searching for phrase temporal logic formalism (changed automatically) with no syntactic query expansion in all metadata.

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Paul Cotofrei, Kilian Stoffel	Stochastic processes and temporal data mining.	KDD	2007	DBLP DOI BibTeX RDF	consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining
1	Pawel Gluchowski	Duration Calculus for Analysis of Fault Trees with Time Dependencies.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Taufiq Rochaeli, Claudia Eckert	Expertise Knowledge-Based Policy Refinement Process.	POLICY	2007	DBLP DOI BibTeX RDF
1	Xudong He	A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
1	Ben C. Moszkowski	Executing Temporal Logic Programs.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi	On the Temporal Basis of Fairness.	POPL	1980	DBLP DOI BibTeX RDF

Displaying result #1 - #6 of 6 (100 per page; Change: )

Maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.