bwmeta1.element.bwnjournal-journal-amc, Tome 24 (2014)

Sommaire

An analytical iterative statistical algorithm for image reconstruction from projections

Robert Cierniak

Access to full text
Full (PDF)
Access to full text

p. 7-17

The Polish Digital Mathematics Library

An analytical iterative statistical algorithm for image reconstruction from projections

Cierniak, Robert

Access to full text
Full (PDF)

p. 7-17

The Polish Digital Mathematics Library

Nuclei segmentation for computer-aided diagnosis of breast cancer

Kowal, Marek ; Filipczuk, Paweł

Access to full text
Full (PDF)

p. 19-31

The Polish Digital Mathematics Library

Recognition of atherosclerotic plaques and their extended dimensioning with computerized tomography angiography imaging

Markiewicz, Tomasz ; Dziekiewicz, Mirosław ; Maruszyński, Marek ; Bogusławska-Walecka, Romana ; Kozłowski, Wojciech

Access to full text
Full (PDF)

p. 33-47

The Polish Digital Mathematics Library

Recognition of atherosclerotic plaques and their extended dimensioning with computerized tomography angiography imaging

Tomasz Markiewicz ; Mirosław Dziekiewicz ; Marek Maruszyński ; Romana Bogusławska-Walecka ; Wojciech Kozłowski

Access to full text
Full (PDF)
Access to full text

p. 33-47

The Polish Digital Mathematics Library

From the slit-island method to the ising model: analysis of irregular grayscale objects

Mazurek, Przemysław ; Oszutowska-Mazurek, Dorota

Access to full text
Full (PDF)

p. 49-63

The Polish Digital Mathematics Library

From the Slit-Island Method to the Ising model: Analysis of irregular grayscale objects

Przemysław Mazurek ; Dorota Oszutowska-Mazurek

Access to full text
Full (PDF)
Access to full text

p. 49-63

The Polish Digital Mathematics Library

Discretization of singular systems and error estimation

Karampetakis, Nicholas ; Karamichalis, Rallis

Access to full text
Full (PDF)

p. 65-73

The Polish Digital Mathematics Library

On attaining the prescribed quality of a controlled fourth order system

Kapustyan, Vladimir ; Maksimov, Vyacheslav

Access to full text
Full (PDF)

p. 75-85

The Polish Digital Mathematics Library

An optimal sliding mode congestion controller for connection-oriented communication networks with lossy links

Bartoszewicz, Andrzej ; Leśniewski, Piotr

Access to full text
Full (PDF)

p. 87-97

The Polish Digital Mathematics Library

An optimal sliding mode congestion controller for connection-oriented communication networks with lossy links

Andrzej Bartoszewicz ; Piotr Leśniewski

Access to full text
Full (PDF)
Access to full text

p. 87-97

The Polish Digital Mathematics Library

Approximation of a linear dynamic process model using the frequency approach and a non-quadratic measure of the model error

Janiszowski, Krzysztof

Access to full text
Full (PDF)

p. 99-109

The Polish Digital Mathematics Library

Approximation of a linear dynamic process model using the frequency approach and a non-quadratic measure of the model error

Krzysztof B. Janiszowski

Access to full text
Full (PDF)
Access to full text

p. 99-109

The Polish Digital Mathematics Library

A differential evolution approach to dimensionality reduction for classification needs

Martinović, Goran ; Bajer, Dražen ; Zorić, Bruno

Access to full text
Full (PDF)

p. 111-122

The Polish Digital Mathematics Library

An efficient eigenspace updating scheme for high-dimensional systems

Gangl, Simon ; Mongus, Domen ; Žalik, Borut

Access to full text
Full (PDF)

p. 123-131

The Polish Digital Mathematics Library

An algorithm for reducing the dimension and size of a sample for data exploration procedures

Kulczycki, Piotr ; Łukasik, Szymon

Access to full text
Full (PDF)

p. 133-149

The Polish Digital Mathematics Library

An algorithm for reducing the dimension and size of a sample for data exploration procedures

Piotr Kulczycki ; Szymon Łukasik

Access to full text
Full (PDF)
Access to full text

p. 133-149

The Polish Digital Mathematics Library

Center-based l₁-clustering method

Kristian Sabo

Access to full text
Full (PDF)
Access to full text

p. 151-163

The Polish Digital Mathematics Library

Center-based l1-clustering method

Sabo, Kristian

Access to full text
Full (PDF)

p. 151-163

The Polish Digital Mathematics Library

Approximation of phenol concentration using novel hybrid computational intelligence methods

Pławiak, Paweł ; Tadeusiewicz, Ryszard

Access to full text
Full (PDF)

p. 165-181

The Polish Digital Mathematics Library

Cross-task code reuse in genetic programming applied to visual learning

Wojciech Jaśkowski ; Krzysztof Krawiec ; Bartosz Wieloch

Access to full text
Full (PDF)
Access to full text

p. 183-197

The Polish Digital Mathematics Library

Cross-task code reuse in genetic programming applied to visual learning

Jaśkowski, Wojciech ; Krawiec, Krzysztof ; Wieloch, Bartosz

Access to full text
Full (PDF)

p. 183-197

The Polish Digital Mathematics Library

Survival analysis on data streams: Analyzing temporal events in dynamically changing environments

Ammar Shaker ; Eyke Hüllermeier

Access to full text
Full (PDF)
Access to full text

p. 199-212

The Polish Digital Mathematics Library

Survival analysis on data streams: analyzing temporal events in dynamically changing environments

Shaker, Ammar ; Hüllermeier, Eyke

Access to full text
Full (PDF)

p. 199-212

The Polish Digital Mathematics Library

A new lightweight method for security risk assessment based on fuzzy cognitive maps

Szwed, Piotr ; Skrzyński, Paweł

Access to full text
Full (PDF)

p. 213-225

The Polish Digital Mathematics Library

Regularized nonnegative matrix factorization: geometrical interpretation and application to spectral unmixing

Zdunek, Rafał

Access to full text
Full (PDF)

p. 233-247

The Polish Digital Mathematics Library

Tikhonov regularization and constrained quadratic programming for magnetic coil design problems

Garda, Bartłomiej ; Galias, Zbigniew

Access to full text
Full (PDF)

p. 249-257

The Polish Digital Mathematics Library

Automatic speech signal segmentation based on the innovation adaptive filter

Makowski, Ryszard ; Hossa, Robert

Access to full text
Full (PDF)

p. 259-270

The Polish Digital Mathematics Library

Artificial intelligence methods in diagnostics of analog systems

Bilski, Piotr ; Wojciechowski, Jacek

Access to full text
Full (PDF)

p. 271-282

The Polish Digital Mathematics Library

Selection of search strategies for solving 3-sat problems

Pułka, Andrzej

Access to full text
Full (PDF)

p. 283-297

The Polish Digital Mathematics Library

Assessment of hydrocephalus in children based on digital image processing and analysis

Anna Fabijańska ; Tomasz Węgliński ; Krzysztof Zakrzewski ; Emilia Nowosławska

Access to full text
Full (PDF)
Access to full text

p. 299-312

The Polish Digital Mathematics Library

Assessment of hydrocephalus in children based on digital image processing and analysis

Fabijańska, Anna ; Węgliński, Tomasz ; Zakrzewski, Krzysztof ; Nowosławska, Emilia

Access to full text
Full (PDF)

p. 299-312

The Polish Digital Mathematics Library

Disturbance modeling and state estimation for offset-free predictive control with state-space process models

Tatjewski, Piotr

Access to full text
Full (PDF)

p. 313-323

The Polish Digital Mathematics Library

A 2d system approach to the design of a robust modified repetitive-control system with a dynamic output-feedback controller

Zhou, Lan ; She, Jinhua ; Zhou, Shaowu

Access to full text
Full (PDF)

p. 325-334

The Polish Digital Mathematics Library

A 2D system approach to the design of a robust modified repetitive-control system with a dynamic output-feedback controller

Lan Zhou ; Jinhua She ; Shaowu Zhou

Access to full text
Full (PDF)
Access to full text

p. 325-334

The Polish Digital Mathematics Library

Minimum energy control of fractional positive continuous-time linear systems with bounded inputs

Tadeusz Kaczorek

Access to full text
Full (PDF)
Access to full text

p. 335-340

The Polish Digital Mathematics Library

Minimum energy control of fractional positive continuous-time linear systems with bounded inputs

Kaczorek, Tadeusz

Access to full text
Full (PDF)

p. 335-340

The Polish Digital Mathematics Library

Local analysis of hybrid systems on polyhedral sets with state-dependent switching

Leth, John ; Wisniewski, Rafael

Access to full text
Full (PDF)

p. 341-355

The Polish Digital Mathematics Library

Local analysis of hybrid systems on polyhedral sets with state-dependent switching

John Leth ; Rafael Wisniewski

Access to full text
Full (PDF)
Access to full text

p. 341-355

The Polish Digital Mathematics Library

Design of a multivariable neural controller for control of a nonlinear MIMO plant

Stanisław Bańka ; Paweł Dworak ; Krzysztof Jaroszewski

Access to full text
Full (PDF)
Access to full text

p. 357-369

The Polish Digital Mathematics Library

Design of a multivariable neural controller for control of a nonlinear mimo plant

Bańka, Stanisław ; Dworak, Paweł ; Jaroszewski, Krzysztof

Access to full text
Full (PDF)

p. 357-369

The Polish Digital Mathematics Library

Tracking an omnidirectional evader with a differential drive robot at a bounded variable distance

Ruiz, Ubaldo ; Marroquin, Jose ; Murrieta-Cid, Rafael

Access to full text
Full (PDF)

p. 371-385

The Polish Digital Mathematics Library

A robust computational technique for a system of singularly perturbed reaction-diffusion equations

Kumar, Vinod ; Bawa, Rajesh ; Lal, Arvind

Access to full text
Full (PDF)

p. 387-395

The Polish Digital Mathematics Library

A support vector machine with the tabu search algorithm for freeway incident detection

Yao, Baozhen ; Hu, Ping ; Zhang, Mingheng ; Jin, Maoqing

Access to full text
Full (PDF)

p. 397-404

The Polish Digital Mathematics Library

An efficient algorithm for adaptive total variation based image decomposition and restoration

Liu, Xinwu ; Huang, Lihong

Access to full text
Full (PDF)

p. 405-415

The Polish Digital Mathematics Library

An efficient algorithm for adaptive total variation based image decomposition and restoration

Xinwu Liu ; Lihong Huang

Access to full text
Full (PDF)
Access to full text

p. 405-415

The Polish Digital Mathematics Library

Bivariate hahn moments for image reconstruction

Wu, Haiyong ; Yan, Senlin

Access to full text
Full (PDF)

p. 417-428

The Polish Digital Mathematics Library

Transient and stationary characteristics of a packet buffer modelled as an map/sm/1/b system

Rusek, Krzysztof ; Janowski, Lucjan ; Papir, Zdzisław

Access to full text
Full (PDF)

p. 429-442

The Polish Digital Mathematics Library

Fitting traffic traces with discrete canonical phase type distributions and markov arrival processes

Mészáros, Andras ; Papp, János ; Telek, Miklós

Access to full text
Full (PDF)

p. 453-470

The Polish Digital Mathematics Library

A discrete-time system with service control and repairs

Atencia, Ivan

Access to full text
Full (PDF)

p. 471-484

The Polish Digital Mathematics Library

Analysis of an mmap/ph1, ph2/n/∞ queueing system operating in a random environment

Kim, Chesoong ; Dudin, Alexander ; Dudin, Sergey ; Dudina, Olga

Access to full text
Full (PDF)

p. 485-501

The Polish Digital Mathematics Library

Analysis of an MMAP/PH₁,PH₂/N/∞ queueing system operating in a random environment

Chesoong Kim ; Alexander Dudin ; Sergey Dudin ; Olga Dudina

Access to full text
Full (PDF)
Access to full text

p. 485-501

The Polish Digital Mathematics Library

On truncations for weakly ergodic inhomogeneous birth and death processes

Zeifman, Alexander ; Satin, Yacov ; Korolev, Victor ; Shorgin, Sergey

Access to full text
Full (PDF)

p. 503-518

The Polish Digital Mathematics Library

Analysis of an m|g|1|r queue with batch arrivals and two hysteretic overload control policies

Gaidamaka, Yuliya ; Pechinkin, Alexander ; Razumchik, Rostislav ; Samouylov, Konstantin ; Sopin, Eduard

Access to full text
Full (PDF)

p. 519-534

The Polish Digital Mathematics Library

Analysis of an M|G|1|R queue with batch arrivals and two hysteretic overload control policies

Yuliya Gaidamaka ; Alexander Pechinkin ; Rostislav Razumchik ; Konstantin Samouylov ; Eduard Sopin

Access to full text
Full (PDF)
Access to full text

p. 519-534

The Polish Digital Mathematics Library

Using a vision cognitive algorithm to schedule virtual machines

Zhao, Jiaqi ; Mhedheb, Yousri ; Tao, Jie ; Jrad, Foued ; Liu, Qinghuai ; Streit, Achim

Access to full text
Full (PDF)

p. 535-550

The Polish Digital Mathematics Library

High-performance simulation-based algorithms for an alpine ski racer’s trajectory optimization in heterogeneous computer systems

Dębski, Roman

Access to full text
Full (PDF)

p. 551-566

The Polish Digital Mathematics Library

High-performance simulation-based algorithms for an alpine ski racer's trajectory optimization in heterogeneous computer systems

Roman Dębski

Access to full text
Full (PDF)
Access to full text

p. 551-566

The Polish Digital Mathematics Library

Multiple-instance learning with pairwise instance similarity

Yuan, Liming ; Liu, Jiafeng ; Tang, Xianglong

Access to full text
Full (PDF)

p. 567-577

The Polish Digital Mathematics Library

Multiple-instance learning with pairwise instance similarity

Liming Yuan ; Jiafeng Liu ; Xianglong Tang

Access to full text
Full (PDF)
Access to full text

p. 567-577

The Polish Digital Mathematics Library

Imitation learning of car driving skills with decision trees and random forests

Paweł Cichosz ; Łukasz Pawełczak

Access to full text
Full (PDF)
Access to full text

p. 579-597

The Polish Digital Mathematics Library

Imitation learning of car driving skills with decision trees and random forests

Cichosz, Paweł ; Pawełczak, Łukasz

Access to full text
Full (PDF)

p. 579-597

The Polish Digital Mathematics Library

A simultaneous localization and tracking method for a worm tracking system

Kowalski, Mateusz ; Kaczmarek, Piotr ; Kabaciński, Rafał ; Matuszczak, Mieszko ; Tranbowicz, Kamil ; Sobkowiak, Robert

Access to full text
Full (PDF)

p. 599-609

The Polish Digital Mathematics Library

A simultaneous localization and tracking method for a worm tracking system

Mateusz Kowalski ; Piotr Kaczmarek ; Rafał Kabaciński ; Mieszko Matuszczak ; Kamil Tranbowicz ; Robert Sobkowiak

Access to full text
Full (PDF)
Access to full text

p. 599-609

The Polish Digital Mathematics Library

Methods for estimating vehicle queues at a marine terminal: a computational comparison

Chen, Gang ; Yang, Zhong

Access to full text
Full (PDF)

p. 611-619

The Polish Digital Mathematics Library

A factor graph based genetic algorithm

B. Hoda Helmi ; Adel T. Rahmani ; Martin Pelikan

Access to full text
Full (PDF)
Access to full text

p. 621-633

The Polish Digital Mathematics Library

A factor graph based genetic algorithm

Helmi, B. ; Rahmani, Adel ; Pelikan, Martin

Access to full text
Full (PDF)

p. 621-633

The Polish Digital Mathematics Library

An unconditionally positive and global stability preserving NSFD scheme for an epidemic model with vaccination

Deqiong Ding ; Qiang Ma ; Xiaohua Ding

Access to full text
Full (PDF)
Access to full text

p. 635-646

The Polish Digital Mathematics Library

An unconditionally positive and global stability preserving nsfd scheme for an epidemic model with vaccination

Ding, Deqiong ; Ma, Qiang ; Ding, Xiaohua

Access to full text
Full (PDF)

p. 635-646

The Polish Digital Mathematics Library

Multiple neural network integration using a binary decision tree to improve the ecg signal recognition accuracy

Tran, Hoai ; Pham, Van ; Vuong, Hoang

Access to full text
Full (PDF)

p. 647-655

The Polish Digital Mathematics Library

Multiple neural network integration using a binary decision tree to improve the ECG signal recognition accuracy

Hoai Linh Tran ; Van Nam Pham ; Hoang Nam Vuong

Access to full text
Full (PDF)
Access to full text

p. 647-655

The Polish Digital Mathematics Library

Data mining methods for gene selection on the basis of gene expression arrays

Muszyński, Michał ; Osowski, Stanisław

Access to full text
Full (PDF)

p. 657-668

The Polish Digital Mathematics Library

Data mining methods for gene selection on the basis of gene expression arrays

Michał Muszyński ; Stanisław Osowski

Access to full text
Full (PDF)
Access to full text

p. 657-668

The Polish Digital Mathematics Library

Forecasting return products in an integrated forward/reverse supply chain utilizing an ANFIS

D. Thresh Kumar ; Hamed Soleimani ; Govindan Kannan

Access to full text
Full (PDF)
Access to full text

p. 669-682

The Polish Digital Mathematics Library

Forecasting return products in an integrated forward/reverse supply chain utilizing an anfis

Kumar, D. ; Soleimani, Hamed ; Kannan, Govindan

Access to full text
Full (PDF)

p. 669-682

The Polish Digital Mathematics Library

Modeling acquaintance networks based on balance theory

Vida Vukašinović ; Jurij Šilc ; Riste Škrekovski

Access to full text
Full (PDF)
Access to full text

p. 683-696

The Polish Digital Mathematics Library

Modeling acquaintance networks based on balance theory

Vukašinović, Vida ; Šilc, Jurij ; Škrekovski, Riste

Access to full text
Full (PDF)

p. 683-696

The Polish Digital Mathematics Library

A RED modified weighted moving average for soft real-time application

Joanna Domańska ; Adam Domański ; Dariusz R. Augustyn ; Jerzy Klamka

Access to full text
Full (PDF)
Access to full text

p. 697-707

The Polish Digital Mathematics Library

A red modified weighted moving average for soft real-time application

Domańska, Joanna ; Domański, Adam ; Augustyn, Dariusz ; Klamka, Jerzy

Access to full text
Full (PDF)

p. 697-707

The Polish Digital Mathematics Library

Controllability of nonlinear implicit fractional integrodifferential systems

Krishnan Balachandran ; Shanmugam Divya

Access to full text
Full (PDF)

p. 713-722

The Polish Digital Mathematics Library

Controllability of nonlinear implicit fractional integrodifferential systems

Krishnan Balachandran ; Shanmugam Divya

Access to full text
Full (PDF)
Access to full text

p. 713-722

The Polish Digital Mathematics Library

On an infinite dimensional linear-quadratic problem with fixed endpoints: the continuity question

K. Maciej Przyłuski

Access to full text
Full (PDF)
Access to full text

p. 723-733

The Polish Digital Mathematics Library

On an infinite dimensional linear-quadratic problem with fixed endpoints: The continuity question

K. Maciej Przyłuski

Access to full text
Full (PDF)

p. 723-733

The Polish Digital Mathematics Library

Minimum energy control of fractional descriptor positive discrete-time linear systems

Tadeusz Kaczorek

Access to full text
Full (PDF)

p. 735-743

The Polish Digital Mathematics Library

Improving the stability of discretization zeros with the Taylor method using a generalization of the fractional-order hold

Cheng Zeng ; Shan Liang ; Yuzhe Zhang ; Jiaqi Zhong ; Yingying Su

Access to full text
Full (PDF)
Access to full text

p. 745-757

The Polish Digital Mathematics Library

Improving the stability of discretization zeros with the Taylor method using a generalization of the fractional-order hold

Cheng Zeng ; Shan Liang ; Yuzhe Zhang ; Jiaqi Zhong ; Yingying Su

Access to full text
Full (PDF)

p. 745-757

The Polish Digital Mathematics Library

Efficiency analysis of control algorithms in spatially distributed systems with chaotic behavior

Łukasz Korus

Access to full text
Full (PDF)
Access to full text

p. 759-770

The Polish Digital Mathematics Library

Efficiency analysis of control algorithms in spatially distributed systems with chaotic behavior

Łukasz Korus

Access to full text
Full (PDF)

p. 759-770

The Polish Digital Mathematics Library

Analytic results for oscillatory systems with extremal dynamic properties

Henryk Górecki ; Mieczysław Zaczyk

Access to full text
Full (PDF)

p. 771-784

The Polish Digital Mathematics Library

Further results on robust fuzzy dynamic systems with LMI 𝒟-stability constraints

Wudhichai Assawinchaichote

Access to full text
Full (PDF)

p. 785-794

The Polish Digital Mathematics Library

Further results on robust fuzzy dynamic systems with LMI 𝓓-stability constraints

Wudhichai Assawinchaichote

Access to full text
Full (PDF)
Access to full text

p. 785-794

The Polish Digital Mathematics Library

On infinite horizon active fault diagnosis for a class of non-linear non-Gaussian systems

Ivo Punčochář ; Miroslav Šimandl

Access to full text
Full (PDF)
Access to full text

p. 795-807

The Polish Digital Mathematics Library

On infinite horizon active fault diagnosis for a class of non-linear non-Gaussian systems

Miroslav Šimandl ; Ivo Punčochář

Access to full text
Full (PDF)

p. 795-807

The Polish Digital Mathematics Library

Fault diagnosis in a networked control system under communication constraints: A quadrotor application

Karim Chabir ; Mohamed Amine Sid ; Dominique Sauter

Access to full text
Full (PDF)

p. 809-820

The Polish Digital Mathematics Library

Fault diagnosis in a networked control system under communication constraints: a quadrotor application

Karim Chabir ; Mohamed Amine Sid ; Dominique Sauter

Access to full text
Full (PDF)
Access to full text

p. 809-820

The Polish Digital Mathematics Library

Nonlinear control for a diesel engine: A CLF-based approach

Olena Kuzmych ; Abdel Aitouche ; Ahmed El Hajjaji ; Jerome Bosche

Access to full text
Full (PDF)

p. 821-835

The Polish Digital Mathematics Library

A mathematical model for fluid-glucose-albumin transport in peritoneal dialysis

Roman Cherniha ; Joanna Stachowska-Piętka ; Jacek Waniewski

Access to full text
Full (PDF)

p. 837-851

The Polish Digital Mathematics Library

A mathematical model for fluid-glucose-albumin transport in peritoneal dialysis

Roman Cherniha ; Joanna Stachowska-Piętka ; Jacek Waniewski

Access to full text
Full (PDF)
Access to full text

p. 837-851

The Polish Digital Mathematics Library

A modified van der Pol equation with delay in a description of the heart action

Beata Zduniak ; Marek Bodnar ; Urszula Foryś

Access to full text
Full (PDF)

p. 853-863

The Polish Digital Mathematics Library

A modified van der Pol equation with delay in a description of the heart action

Beata Zduniak ; Marek Bodnar ; Urszula Foryś

Access to full text
Full (PDF)
Access to full text

p. 853-863

The Polish Digital Mathematics Library

A hybrid algorithm for solving inverse problems in elasticity

Barbara Barabasz ; Ewa Gajda-Zagórska ; Stanisław Migórski ; Maciej Paszyński ; Robert Schaefer ; Maciej Smołka

Access to full text
Full (PDF)

p. 865-886

The Polish Digital Mathematics Library

A finite-buffer queue with a single vacation policy: an analytical study with evolutionary positioning

Marcin Woźniak ; Wojciech M. Kempa ; Marcin Gabryel ; Robert K. Nowicki

Access to full text
Full (PDF)
Access to full text

p. 887-900

The Polish Digital Mathematics Library

A finite-buffer queue with a single vacation policy: An analytical study with evolutionary positioning

Marcin Woźniak ; Wojciech M. Kempa ; Marcin Gabryel ; Robert K. Nowicki

Access to full text
Full (PDF)

p. 887-900

The Polish Digital Mathematics Library

Accelerating backtrack search with a best-first-search strategy

Zoltán Ádám Mann ; Tamás Szép

Access to full text
Full (PDF)

p. 901-916

The Polish Digital Mathematics Library

A primal sub-gradient method for structured classification with the averaged sum loss

Dejan Mančev ; Branimir Todorović

Access to full text
Full (PDF)

p. 917-930

The Polish Digital Mathematics Library

An analytical method for well-formed workflow/Petri net verification of classical soundness

Julio Clempner

Access to full text
Full (PDF)
Access to full text

p. 931-939

The Polish Digital Mathematics Library

An analytical method for well-formed workflow/Petri net verification of classical soundness

Julio Clempner

Access to full text
Full (PDF)

p. 931-939

The Polish Digital Mathematics Library

A system for deduction-based formal verification of workflow-oriented software models

Radosław Klimek

Access to full text
Full (PDF)
Access to full text

p. 941-956

The Polish Digital Mathematics Library

A system for deduction-based formal verification of workflow-oriented software models

Radosław Klimek

Access to full text
Full (PDF)

p. 941-956

The Polish Digital Mathematics Library