Sciweavers

    REX
    1991
    89views Logical Reasoning» more  REX 1991»
    Timed Transition Systems
    14 years 6 months ago
    Timed Transition Systems
    Download  www.comp.nus.edu.sg
    Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    REX
    1991
    107views Logical Reasoning» more  REX 1991»
    The State Operator in Real Time Process Algebra
    14 years 6 months ago
    The State Operator in Real Time Process Algebra
    Download  igitur-archive.library.uu.nl
    Jos C. M. Baeten, Jan A. Bergstra
    claim paper
    Read More »
    REX
    1991
    91views Logical Reasoning» more  REX 1991»
    From Timed to Hybrid Systems
    14 years 6 months ago
    From Timed to Hybrid Systems
    Download  www-verimag.imag.fr
    We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
    Oded Maler, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    REX
    1991
    138views Logical Reasoning» more  REX 1991»
    Logics and Models of Real Time: A Survey
    14 years 6 months ago
    Logics and Models of Real Time: A Survey
    Download  mtc.epfl.ch
    We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
    Rajeev Alur, Thomas A. Henzinger
    claim paper
    Read More »
    REX
    1991
    89views Logical Reasoning» more  REX 1991»
    The Theory of Timed Automata
    14 years 6 months ago
    The Theory of Timed Automata
    Download  www.seas.upenn.edu
    Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
    Rajeev Alur, David L. Dill
    claim paper
    Read More »
    REX
    1991
    115views Logical Reasoning» more  REX 1991»
    An Old-Fashioned Recipe for Real Time
    14 years 6 months ago
    An Old-Fashioned Recipe for Real Time
    Download  research.microsoft.com
    Martín Abadi, Leslie Lamport
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.