5407 search results - page 60 / 1082 » The Software Engineering Global Model |
125
click to vote
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
100
Voted
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
107
click to vote
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
113
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
