Using Simplex Method in Verifying Software Safety

Milena Vujošević-Janičić; Filip Marić; Dušan Tošić

The Yugoslav Journal of Operations Research (2009)

  • Volume: 19, Issue: 37, page 133-148
  • ISSN: 0354-0243

How to cite

top

Milena Vujošević-Janičić, Filip Marić, and Dušan Tošić. "Using Simplex Method in Verifying Software Safety." The Yugoslav Journal of Operations Research 19.37 (2009): 133-148. <http://eudml.org/doc/261788>.

@article{MilenaVujošević2009,
author = {Milena Vujošević-Janičić, Filip Marić, Dušan Tošić},
journal = {The Yugoslav Journal of Operations Research},
language = {eng},
number = {37},
pages = {133-148},
publisher = {Faculty of Organizational Sciences},
title = {Using Simplex Method in Verifying Software Safety},
url = {http://eudml.org/doc/261788},
volume = {19},
year = {2009},
}

TY - JOUR
AU - Milena Vujošević-Janičić
AU - Filip Marić
AU - Dušan Tošić
TI - Using Simplex Method in Verifying Software Safety
JO - The Yugoslav Journal of Operations Research
PY - 2009
PB - Faculty of Organizational Sciences
VL - 19
IS - 37
SP - 133
EP - 148
LA - eng
UR - http://eudml.org/doc/261788
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.