A new mathematical formalism for the TTCN 3 core language [abstract] /

QR kód

A new mathematical formalism for the TTCN 3 core language [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Jaskó Szilárd
Testületi szerző:	Conference of PhD students in computer science (4.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2004
Sorozat:	Conference of PhD Students in Computer Science 4
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59762

Hasonló tételek

Test data optimization method for TTCN-3 [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2004)

Extending the Sparkle Core language with object [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2004)

High-level restructuring of TTCN-3 test suites [abstract] /
Szerző: Wu-Hen-Chang Antal, et al.
Megjelent: (2006)

Extending the Sparkle Core language with object abstraction
Szerző: Tejfel Máté, et al.
Megjelent: (2005)

GPRS function test using TTCN [abstract] /
Szerző: Horváth Endre, et al.
Megjelent: (2000)

Generation MSC and TTCN descriptions for ISUP supplementary devices [abstract] /
Szerző: Tchanin Alexandr
Megjelent: (1998)

On the real-time recognition of formal languages in cellular automata
Szerző: Pecht J.
Megjelent: (1983)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

New method for designing polymorphic system programming languages [abstract] /
Szerző: Balogh Ádám, et al.
Megjelent: (2006)

An application of truth functions in formalized diagnostics
Szerző: Ádám András
Megjelent: (1976)

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

Kleene theorems for skew formal power series
Szerző: Kuich Werner
Megjelent: (2006)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Core of communities in bipartite networks
Szerző: Bongiorno Christian, et al.
Megjelent: (2017)

Mathematical morphology in image processing by SLD resolution [abstract] /
Szerző: Kovásznai Gergely, et al.
Megjelent: (2002)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

Mathematical description of brain states
Szerző: John E. R., et al.
Megjelent: (1972)

New results in 3D surface reduction [abstract] /
Szerző: Halmai Csongor, et al.
Megjelent: (2000)

The Jodie programming language [abstract] /
Szerző: Csáki Tibor, et al.
Megjelent: (2002)

Control language for distributed clean [abstract] /
Szerző: Hernyák Zoltán, et al.
Megjelent: (2004)

On some basic theoretical problems of fuzzy mathematics
Szerző: Kóczy T. László
Megjelent: (1977)

Natural language understanding a new challenge for grammar systems /
Szerző: Martín-Vide Carlos
Megjelent: (1996)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
Megjelent: (2006)

New methods in tele-cardiology [abstract] /
Szerző: Balázs Gábor, et al.
Megjelent: (2002)

On formal models of natural languages
Szerző: Prószéky Gábor
Megjelent: (2003)

A pattern-based constraint language for metamodels [abstract] /
Szerző: Varró Dániel
Megjelent: (2002)

On specialized programming language for flexible information systems [abstract] /
Szerző: Popovic Aleksandar, et al.
Megjelent: (1998)

Language representations starting from fully initial languages
Szerző: Păun Gheorghe, et al.
Megjelent: (1991)

A modelling tool based on mathematical logic T-PROLOG
Szerző: Futó István, et al.
Megjelent: (1981)

A new approach to neural network design [abstract] /
Szerző: Péter András, et al.
Megjelent: (1998)

A new look at reverse Polish notation [abstract] /
Szerző: Krtolica Predrag V.
Megjelent: (1998)

On representing RE languages by one-sided internal contextual languages
Szerző: Ehrenfeucht Andrzej, et al.
Megjelent: (1996)