Modeling and Verification of Parallel Processes [[electronic resource] ] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 234 p.) |
Disciplina | 004/.358 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Software Engineering Theory of Computation |
ISBN | 3-540-45510-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography. |
Record Nr. | UNISA-996465885303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 234 p.) |
Disciplina | 004/.358 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Software Engineering Theory of Computation |
ISBN | 3-540-45510-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography. |
Record Nr. | UNINA-9910143601403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
Disciplina | 004/.358 |
Soggetto topico |
Computer architecture - Congresses
High performance computing - Congresses Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996204868303316 |
[Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
Disciplina | 004/.358 |
Soggetto topico |
Computer architecture - Congresses
High performance computing - Congresses Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872624703321 |
[Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|