Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005, Changsha, Hunan, China
| 11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005, Changsha, Hunan, China |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2005 |
| Disciplina | 004.2/4 |
| Soggetto topico |
Fault-tolerant computing - Reliability
Electronic digital computers Engineering & Applied Sciences Computer Science |
| ISBN | 1-5386-0069-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218386103316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005, Changsha, Hunan, China
| 11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005, Changsha, Hunan, China |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2005 |
| Disciplina | 004.2/4 |
| Soggetto topico |
Fault-tolerant computing - Reliability
Electronic digital computers Engineering & Applied Sciences Computer Science |
| ISBN |
9781538600696
1538600692 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145455303321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2000 IEEE International Symposium on Performance Analysis of Systems and Software
| 2000 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2000 |
| Disciplina | 004.2/4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217336803316 |
| [Place of publication not identified], : I E E E, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2000 IEEE International Symposium on Performance Analysis of Systems and Software
| 2000 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2000 |
| Disciplina | 004.2/4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872852403321 |
| [Place of publication not identified], : I E E E, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2003 IEEE International Symposium on Performance Analysis of Systems and Software
| 2003 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2003 |
| Disciplina | 004.2/4 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202481903316 |
| [Place of publication not identified], : I E E E, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2003 IEEE International Symposium on Performance Analysis of Systems and Software
| 2003 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2003 |
| Disciplina | 004.2/4 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872470103321 |
| [Place of publication not identified], : I E E E, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009
| 2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 004.2/4 |
| Altri autori (Persone) |
ZamojskiWojciech
WięckowskiTadeusz |
| Soggetto topico |
Computer systems - Reliability
Computer systems - Evaluation |
| ISBN | 1-5090-7155-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216421603316 |
| New York : , : IEEE, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009
| 2009 Fourth International Conference on Dependability of Computer Systems : June 30, 2009-July 2, 2009 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 004.2/4 |
| Altri autori (Persone) |
ZamojskiWojciech
WięckowskiTadeusz |
| Soggetto topico |
Computer systems - Reliability
Computer systems - Evaluation |
| ISBN | 1-5090-7155-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139854503321 |
| New York : , : IEEE, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging : Monterey, California, USA, September 19-21, 2005
| AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging : Monterey, California, USA, September 19-21, 2005 |
| Autore | Jeffery Clinton |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2005 |
| Descrizione fisica | 1 online resource (172 p.;) |
| Disciplina | 004.2/4 |
| Collana | ACM Conferences |
| Soggetto topico |
Debugging in computer science
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AADEBUG'05 |
| Record Nr. | UNINA-9910375906503321 |
Jeffery Clinton
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besancon, France, January 17-19, 2007 : proceedings / / Jacques Julliand, Olga Kouchnarenko (eds.)
| B 2007 : formal specification and development in B : 7th International Conference of B Users, Besancon, France, January 17-19, 2007 : proceedings / / Jacques Julliand, Olga Kouchnarenko (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XIII, 297 p.) |
| Disciplina | 004.2/4 |
| Altri autori (Persone) |
JulliandJacques
KouchnarenkoOlga |
| Collana |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science |
| Soggetto topico |
B method (Computer science)
Debugging in computer science |
| ISBN | 3-540-68761-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- E-Voting and the Need for Rigourous Software Engineering – The Past, Present and Future -- Using B Machines for Model-Based Testing of Smartcard Software -- The Design of Spacecraft On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions -- Chorus Angelorum -- Augmenting B with Control Annotations -- Justifications for the Event-B Modelling Notation -- Automatic Translation from Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding -- Instantiation of Parameterized Data Structures for Model-Based Testing -- Verification of LTL on B Event Systems -- Patterns for B: Bridging Formal and Informal Development -- Time Constraint Patterns for Event B Development -- Modelling and Proof Analysis of Interrupt Driven Scheduling -- Refinement of Statemachines Using Event B Semantics -- Formal Transformation of Platform Independent Models into Platform Specific Models -- Refinement of eb 3 Process Patterns into B Specifications -- Security Policy Enforcement Through Refinement Process -- Integration of Security Policy into System Modeling -- Industrial Papers -- Experiences in Using B and UML in Industrial Development -- B in Large-Scale Projects: The Canarsie Line CBTC Experience -- A Tool for Firewall Administration -- The B-Method for the Construction of Microkernel-Based Systems -- Hardware Verification and Beyond: Using B at AWE -- Tool Papers -- A JAG Extension for Verifying LTL Properties on B Event Systems -- A Generic Flash-Based Animation Engine for ProB -- BE4: The B Extensible Eclipse Editing Environment -- BRAMA: A New Graphic Animation Tool for B Models -- LEIRIOS Test Generator: Automated Test Generation from B Models -- Meca: A Tool for Access Control Models -- JML2B: Checking JML Specifications with B Machines -- Invited Talk -- Plug-and-Play Nondeterminacy. |
| Altri titoli varianti |
7th International Conference of B Users
Seventh International Conference of B Users International Conference of B Users |
| Record Nr. | UNINA-9910767504603321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
