Search Sciweavers | Sciweavers

4666 search results - page 73 / 934

» Equations on Timed Languages

125

click to vote

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 7 months ago

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

117

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 6 months ago

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...

claim paper

Read More »

120

Voted

IJCAI
1993

109views Artificial Intelligence» more IJCAI 1993»

Logical Specification of Real-Time Granular Systems in an Object Oriented Language

15 years 6 months ago

Download ijcai.org

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...

claim paper

Read More »

125

click to vote

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

15 years 6 months ago

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

click to vote

COLING
2006

78views Computational Linguistics» more COLING 2006»

The Language of Time: A Reader

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers