2018 Formal Methods in Computer Aided Design : 30 October-2 November 2018, Austin, TX, USA / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
Descrizione fisica | 1 online resource (10 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Computer systems - Computer-aided design System design |
ISBN | 0-9835678-8-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996575296103316 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2018 Forum on Specification & Design Languages : September 10-12, 2018, Munich, Germany / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
Descrizione fisica | 1 online resource (20 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering Computer software - Verification |
Soggetto genere / forma | Electronic books. |
ISBN | 1-5386-6418-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996280362003316 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2018 Forum on Specification & Design Languages : September 10-12, 2018, Munich, Germany / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 |
Descrizione fisica | 1 online resource (20 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering Computer software - Verification |
Soggetto genere / forma | Electronic books. |
ISBN | 1-5386-6418-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910293157903321 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway : , : IEEE, , 2021 |
Descrizione fisica | 1 online resource (ix, 141 pages) : illustrations (some color) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
ISBN | 1-66543-913-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering |
Record Nr. | UNINA-9910554169503321 |
Piscataway : , : IEEE, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway : , : IEEE, , 2021 |
Descrizione fisica | 1 online resource (ix, 141 pages) : illustrations (some color) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
ISBN | 1-66543-913-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering |
Record Nr. | UNISA-996575051303316 |
Piscataway : , : IEEE, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : IEEE ICNP 2020 : October 13-16, Madrid, Spain / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2020] |
Descrizione fisica | 1 online resource : illustrations |
Disciplina | 004.62 |
Soggetto topico | Formal methods (Computer science) |
ISBN | 979-83-503-3190-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design |
Record Nr. | UNISA-996575169803316 |
Piscataway, New Jersey : , : IEEE, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2022 |
Descrizione fisica | 1 online resource (ix, 129 pages) : illustrations (some color) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
ISBN | 1-4503-9287-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
FormaliSE 2022 Proceedings [of the] IEEE/ACM 10th International Conference on Formal Methods in Software Engineering Institute of Electrical and Electronics Engineers ACM Tenth International Conference on Formal Methods in Software Engineering Institute of Electrical and Electronics Engineers ACM 10th International Conference on Formal Methods in Software Engineering |
Record Nr. | UNINA-9910582188003321 |
Piscataway, N.J. : , : IEEE, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2022 |
Descrizione fisica | 1 online resource (ix, 129 pages) : illustrations (some color) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
ISBN | 1-4503-9287-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
FormaliSE 2022 Proceedings [of the] IEEE/ACM 10th International Conference on Formal Methods in Software Engineering Institute of Electrical and Electronics Engineers ACM Tenth International Conference on Formal Methods in Software Engineering Institute of Electrical and Electronics Engineers ACM 10th International Conference on Formal Methods in Software Engineering |
Record Nr. | UNISA-996575001903316 |
Piscataway, N.J. : , : IEEE, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 / / editors, A. Edalat, S. Jourdan, G. McCusker |
Pubbl/distr/stampa | London : , : Imperial College Press, , [1996] |
Descrizione fisica | 1 online resource (342 pages) : illustrations |
Disciplina | 004/.01/5113 |
Soggetto topico |
Computer science
Formal methods (Computer science) |
Soggetto genere / forma | Electronic books. |
ISBN | 1-78326-345-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910149573003321 |
London : , : Imperial College Press, , [1996] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / / Dieter Hutter (eds.) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (390 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Formal methods (Computer science) |
ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
Record Nr. | UNINA-9910144147503321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|