Cargando…

BCS-FACS Workshop on Specificiation and Verification of Concurrent Systems

Detalles Bibliográficos
Autor principal:	Rattray, Charles
Lenguaje:	eng
Publicado:	Springer 1990
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/211407

Ejemplares similares

BCS glossary of computing
por: Burdett, Arnold, et al.
Publicado: (2016)

BCS Glossary of Computing and ICT
por: Panel, BCS Education and Training Expert, et al.
Publicado: (2008)

BCS glossary of computing and ICT
por: BCS Learning and Development
Publicado: (2013)

The BCS Glossary: of ICT and Computing Terms
por: British Computer Society. London. Schools Expert Panel Glossary Working Party
Publicado: (2003)

Mobile testing: an ASTQB-BCS foundation guide
por: Black, Rex
Publicado: (2018)

Eurographics Workshop on Design, Specification and Verification of Interactive Systems '97
por: Harrison, M D, et al.
Publicado: (1997)

Software testing: an ISTQB-BCS certified tester foundation guide
por: Hambling, Brian, et al.
Publicado: (2015)

Software testing: an ISTQB-BCS certified tester foundation guide
por: Hambling, Brian
Publicado: (2019)

Workshop on Concurrency in the many-Cores Era
Publicado: (2011)

IFIP Workshop on Hardware-supported Implementation on Concurrent Languages in Distributed Systems
por: Dagless, Erik L, et al.
Publicado: (1985)

2nd International Workshop on Protocol Specification, Testing and Verification
por: Sunshine, Carl A
Publicado: (1982)

3rd International Workshop on Protocol Specification, Testing and Verification
por: Rudin, Harry, et al.
Publicado: (1983)

4th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Strom, Robert G, et al.
Publicado: (1985)

5th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Díaz, Michel
Publicado: (1986)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

Verification techniques for system-level design
por: Fujita, Masahiro, et al.
Publicado: (2008)

Implementation and verification of distributed control systems
por: Gerber, Christian
Publicado: (2011)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

FASTBUS slave diagnostic software ans system verification
por: Story, C M
Publicado: (1985)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, et al.
Publicado: (2008)

Concurrency control in distributed database systems
por: Cellary, W, et al.
Publicado: (1989)

Conference on Concurrent Systems and Parallel Computation
por: Dennis, Jack Bonnell
Publicado: (1970)

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
por: Spear, Chris
Publicado: (2008)

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

New developments in program verification
por: Wolper, P
Publicado: (1991)

Unix System Programming: Communication, Concurrency, and Threads
por: Robbins, Kay A, et al.
Publicado: (2003)

Operating systems: concurrent and distributed software design
por: Bacon, Jean, et al.
Publicado: (2003)

2nd Workshop on Coupling Symbolic and Numerical Computing in Expert Systems
por: Kitzmiller, Charles T, et al.
Publicado: (1988)

Workshop on Information Technologies and Systems
Publicado: (1991)

Workshop on the Microarchitecture of Computer Systems
por: Hartenstein, Reiner W, et al.
Publicado: (1975)

USENIX File Systems Workshop
por: USENIX Association. Berkeley
Publicado: (1992)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

Scientific computing with automatic result verification
por: Adams, Ernst, et al.
Publicado: (1992)

Mobile agent-based anomaly detection and verification system for smart home sensor networks
por: Usman, Muhammad, et al.
Publicado: (2018)

Android concurrency
por: Meike, G Blake
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_lefianrr90ii4gqm17pvnc6kch