IEEE International Computer Performance and Dependability Symposium, IPDS'96 : proceedings, September 4-6, 1996, Urbana-Champaign, Illinois |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1996 |
Disciplina | 004.2/1 |
Soggetto topico |
Computer systems - Evaluation - Congresses
Computer systems - Reliability - Congresses Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996204934403316 |
[Place of publication not identified], : IEEE Computer Society Press, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1996 |
Disciplina | 004.2/1 |
Collana | ACM Conferences |
Soggetto topico |
System design - Congresses
Systems software - Congresses Systems engineering Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ISSS '96 |
Record Nr. | UNINA-9910134304903321 |
[Place of publication not identified], : IEEE Computer Society Press, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996 |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1996 |
Disciplina | 004.2/1 |
Collana | ACM Conferences |
Soggetto topico |
System design - Congresses
Systems software - Congresses Systems engineering Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ISSS '96 |
Record Nr. | UNISA-996204920203316 |
[Place of publication not identified], : IEEE Computer Society Press, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. / / edited by Tiziana Margaria, Bernhard Steffen |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XIII, 443 p.) |
Disciplina | 004.2/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Operating systems (Computers) Computer logic Software engineering Computer communication systems Theory of Computation Operating Systems Logics and Meanings of Programs Software Engineering Computer Communication Networks |
ISBN | 3-540-49874-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Early fault detection tools -- Kleene algebra with tests and commutativity conditions -- Managing proofs -- An analyzer for message sequence charts -- Relation-algebraic analysis of Petri nets with RELVIEW -- Efficient search as a means of executing specifications -- An improvement of McMillan's unfolding algorithm -- Efficient local model-checking for fragments of the modal ?-calculus -- Test generation with inputs, outputs, and quiescence -- Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR -- Automatic compositional verification of some Security properties -- Permutable agents in process algebras -- Strategy construction in infinite games with Streett and Rabin chain winning conditions -- Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control -- Formal verification of a partial-order reduction technique for model checking -- Fully automatic verification and error detection for parameterized iterative sequential circuits -- Priorities for modeling and verifying distributed systems -- Games and modal mu-calculus -- Generic system support for deductive program development -- Extending promela and spin for real time -- Reactive EFSMs — Reactive Promela/RSPIN -- Probabilistic duration automata for analyzing real-time systems -- The Concurrency Factory software development environment -- The Fc2Tools set (tool demonstration) -- PEP — more than a Petri Net tool -- Rapid prototyping for an assertional specification language -- cTc — A tool supporting the construction of cTLA-Specifications -- A tool for proving invariance properties of concurrent systems automatically -- Using the constraint language toupie for “Software Cost Reduction” specification analysis -- A constraint-oriented Service Creation Environment -- DFA&OPT-MetaFrame: A tool kit for program analysis and optimization -- A construction and analysis tool based on the stochastic process algebra TIPP -- Uppaal in 1995. |
Record Nr. | UNISA-996465574203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|