Search Sciweavers | Sciweavers

4460 search results - page 14 / 892

» Formal methods for interactive systems

click to vote

APN
1997
Springer

127views Artificial Intelligence» more APN 1997»

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

13 years 11 months ago

Download www.daimi.au.dk

Søren Christensen, Kjeld Høyer Morte...

claim paper

Read More »

Voted

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

13 years 7 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

Voted

CN
1998

58views more CN 1998»

Formal Methods for Broadband and Multimedia Systems

13 years 7 months ago

Download www.inf.uni-konstanz.de

Stefan Fischer, Stefan Leue

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

13 years 7 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers