Cargando…

The formal description technique Estelle: results of the ESPRIT/SEDOS project

Detalles Bibliográficos
Autor principal:	Díaz, Michel
Lenguaje:	eng
Publicado:	North-Holland 1989
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/205812

Ejemplares similares

The formal description technique LOTOS: results of the ESPRIT/SEDOS project
por: Van Eijk, Peter H J
Publicado: (1989)

Improving the efficiency of automated protocol implementation using Estelle
por: Gotzhein, R, et al.
Publicado: (1995)

Annual ESPRIT Conference
por: Commission of the European Communities. Brussels. Telecommunications, Information Industries and Innovation
Publicado: (1984)

5th ESPRIT Conference
por: Commission of the European Communities. Luxembourg
Publicado: (1988)

1991 ESPRIT Conference : Special Session on Advanced Business and Home Systems : peripherals
Publicado: (1991)

IFIP Working Conference on Formal Description of Programming Concepts
por: Neuhold, Erich J
Publicado: (1978)

Sedo-analgesia in double lumen enteroscopy
por: Singh, Dinesh K, et al.
Publicado: (2007)

The 2022 Lady Estelle Wolfson lectureship on neurofilaments
por: Petzold, Axel
Publicado: (2022)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

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

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
por: Storer, Thomas, et al.
Publicado: (1975)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

Successful project management: applying best practices and real-world techniques with Microsoft Project
por: Biafore, Bonnie
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)

Subjective logic: a formalism for reasoning under uncertainty
por: Jøsang, Audun
Publicado: (2016)

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

PLC code generation based on a formal specification language
por: Darvas, Daniel, et al.
Publicado: (2017)

QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019)

AIS Project. Information Systems Modelling Results
por: Ferguson, J, et al.
Publicado: (1990)

Practical Android: 14 complete projects on advanced techniques and approaches
por: Wickham, Mark
Publicado: (2018)

Functional Programming in C#: Classic Programming Techniques for Modern Projects
por: Sturm, Oliver
Publicado: (2011)

Formal SQL tuning for Oracle databases: practical efficiency, efficient practice
por: Nossov, Leonid, et al.
Publicado: (2016)

Professional penetration testing: creating and operating a formal hacking lab
por: Wilhelm, Thomas
Publicado: (2009)

A formal development and validation methodology applied to agent- based systems
por: Di Marzo-Serugendo, G
Publicado: (2001)

Quantum mechanics, mathematics, cognition and action: proposals for a formalized epistemology
por: Mugur-Schächter, Mioara, et al.
Publicado: (2003)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Mobile artificial intelligence projects: develop seven projects on your smartphone using artificial intelligence and deep learning techniques
por: Karthikeyan NG, et al.
Publicado: (2019)

Keras reinforcement learning projects: 9 projects exploring popular reinforcement learning techniques to build self-learning agents
por: Ciaburro, Giuseppe
Publicado: (2018)

Childhood acute lymphoblastic leukaemia and indicators of early immune stimulation: the Estelle study (SFCE)
por: Ajrouche, R, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_ab9cecdupkjd5264463citjq2h