Search Sciweavers | Sciweavers

3825 search results - page 41 / 765

» The Language of Time: A Reader

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

14 years 5 days ago

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

click to vote

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

13 years 10 months ago

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

13 years 10 months ago

Download www.tcs.tifr.res.in

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

claim paper

Read More »

click to vote

IJCAI
1993

109views Artificial Intelligence» more IJCAI 1993»

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

13 years 9 months ago

Download ijcai.org

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...

claim paper

Read More »

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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers