206 search results - page 33 / 42 » Formal Specification and Analysis of an E-voting System |
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
EMSOFT
2011
Springer
13 years 9 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
ICST
2008
IEEE
15 years 3 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
ASE
2006
14 years 9 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...