Volume 27; Issue 5-6

Main
Formal Aspects of Computing
Volume 27; Issue 5-6

Formal Aspects of Computing

Volume 27; Issue 5-6

1

Untanglings: a novel approach to analyzing concurrent systems

Polyvyanyy, Artem, La Rosa, Marcello, Ouyang, Chun, ter Hofstede, Arthur H. M.

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

2

Model checking the observational determinism security property using PROMELA and SPIN

Dabaghchian, Maryam, Abdollahi Azgomi, Mohammad

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 421 KB

english, 2015

3

Generating invariants for non-linear loops by linear algebraic methods

Rebiha, Rachid, Moura, Arnaldo Vieira, Matringe, Nadir

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 610 KB

english, 2015

4

Categorical foundations for structured specifications in\({\mathsf{Z}}\)

Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos L., Maibaum, T. S. E.

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 2.23 MB

english, 2015

5

A reduced maximality labeled transition system generation for recursive Petri nets

Bouneb, Messaouda, Saidouni, Djamel Eddine, Ilie, Jean Michel

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1.31 MB

english, 2015

6

Typed context awareness Ambient Calculus for pervasive applications

Pasqualin, Douglas Pereira, Vizzotto, Juliana Kaizer, Piveta, Eduardo Kessler

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

7

Finding semantic associations in hierarchically structured groups of Web data

Rosaci, Domenico

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

8

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, Omar, Reynolds, Mark, French, Tim

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

9

Model checking CML: tool development and industrial applications

Mota, A., Farias, A., Woodcock, J., Larsen, P. G.

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 4.13 MB

english, 2015

10

Editorial

Woodcock, Jim, Jones, Cliff

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 291 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски