Cargando…

Algebraic formalization of smart systems: theory and practice

Detalles Bibliográficos
Autores principales:	Serdyukova, Natalia, Serdyukov, Vladimir
Lenguaje:	eng
Publicado:	Springer 2018
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2697992

Ejemplares similares

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

Algebraic theory of automata
por: Ginzburg, Abraham
Publicado: (1968)

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

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

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

Communications for control in cyber physical systems: theory, design and applications in smart grids
por: Li, Husheng, et al.
Publicado: (2016)

2nd Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1991)

1st Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1989)

An algebraic theory of program specification and correctness using symmetry operations
por: Gabriel, J R
Publicado: (1987)

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)

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

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

Construction of quasi-Jordan normal form of resolvent matrix in the case of uniform parabolic blocks
por: Serdyukova, S I
Publicado: (1997)

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

Principles of system identification: theory and practice
por: Tangirala, Arun K
Publicado: (2015)

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

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

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

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

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)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Process algebras for petri nets: the alphabetization of distributed systems
por: Gorrieri, Roberto
Publicado: (2017)

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)

Big data and smart service systems
por: Liu, Xiwei, et al.
Publicado: (2016)

MATLAB matrix algebra
por: Pérez López, César
Publicado: (2014)

Modern Computer Algebra
por: Gathen, Joachim Von Zur, et al.
Publicado: (2003)

Geometric Algebra Computing
por: Corrochano, Eduardo Bayro, et al.
Publicado: (2010)

Algorithms for computer algebra
por: Geddes, Keith O, et al.
Publicado: (1992)

Fuzzy commutative algebra
por: Mordeson, John N, et al.
Publicado: (1998)

Algebraic curves in cryptography
por: Ling, San
Publicado: (2013)

The Internet of things: how smart TVs, smart cars, smart homes, and smart cities are changing the world
por: Miller, Michael
Publicado: (2015)

Computational algebra and number theory
por: Van der Poorten, Alf J, et al.
Publicado: (1995)

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

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

Cannot write session to /tmp/vufind_sessions/sess_8ku8k0n62eevtva8glb86h3ucc