Search Sciweavers | Sciweavers

1809 search results - page 10 / 362

» A Formal Specification of dMARS

132

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

15 years 9 months ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

149

click to vote

KBSE
2010
IEEE

122views Software Engineering» more KBSE 2010»

SpecDiff: debugging formal specifications

15 years 3 months ago

Download www.comp.nus.edu.sg

Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...

claim paper

Read More »

click to vote

ICAART
2009
INSTICC

57views Intelligent Agents» more ICAART 2009»

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care

15 years 2 months ago

Download cms.brookes.ac.uk

Iñaki Martínez-Sarriegui, Hong Zhu, ...

claim paper

Read More »

129

click to vote

SIMULATION
2010

96views more SIMULATION 2010»

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

14 years 12 months ago

Download www.fceia.unr.edu.ar

Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer

claim paper

Read More »

112

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers