Sciweavers

    4460 search results - page 14 / 892
    » Formal methods for interactive systems
    Sort
    View
    APN
    1997
    Springer
    127views Artificial Intelligence» more  APN 1997»
    Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course
    15 years 7 months ago
    Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course
    Download  www.daimi.au.dk
    Søren Christensen, Kjeld Høyer Morte...
    claim paper
    Read More »
    JUCS
    2007
    101views more  JUCS 2007»
    Applications of Formal Methods to System Design and Verification
    15 years 3 months ago
    Applications of Formal Methods to System Design and Verification
    Download  www.jucs.org
    Farhad Arbab, Marjan Sirjani
    claim paper
    Read More »
    CN
    1998
    58views more  CN 1998»
    Formal Methods for Broadband and Multimedia Systems
    15 years 3 months ago
    Formal Methods for Broadband and Multimedia Systems
    Download  www.inf.uni-konstanz.de
    Stefan Fischer, Stefan Leue
    claim paper
    Read More »
    104
    Voted
    COMCOM
    1999
    63views more  COMCOM 1999»
    Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
    15 years 3 months ago
    Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
    Download  www.dmst.aueb.gr
    Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
    claim paper
    Read More »
    FMICS
    2007
    Springer
    125views Formal Methods» more  FMICS 2007»
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    15 years 9 months ago
    Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
    Download  www.cse.iitb.ac.in
    Gérard Berry
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.