3828 search results - page 462 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
A number of recent systems have provided rich facilities for manipulating the timelines of applications. Such timelines represent the history of an application’s use in some ses...
323
click to vote
MICROMACHINES
2011
15 years 1 months ago
2011
: A wealth of current research in microengineering aims at fabricating devices of increasing complexity, notably by (self-)assembling elementary components into heterogeneous funct...
171
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
171
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
176
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...