Search Sciweavers | Sciweavers

1167 search results - page 63 / 234

» A Really Temporal Logic

140

click to vote

FORMATS
2005
Springer

132views Formal Methods» more FORMATS 2005»

Real Time Temporal Logic: Past, Present, Future

15 years 9 months ago

Download www-verimag.imag.fr

This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...

Oded Maler, Dejan Nickovic, Amir Pnueli

claim paper

Read More »

117

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 9 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

122

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

15 years 9 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

106

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 9 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers