5407 search results - page 60 / 1082 » The Software Engineering Global Model |
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
VLSI
2010
Springer
14 years 7 months ago
2010
Springer
VAMOS
2007
Springer
15 years 3 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...
ATAL
2003
Springer
15 years 3 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 4 months ago
2007
IEEE
